pub const SAMPLE_COVERAGE: c_uint = 0x80A0;