MARK_COVERAGE
MARK_COVERAGE(0x8);
MARK_COVERAGE(0x10);
MARK_COVERAGE(0x20);
MARK_COVERAGE(0x40);
MARK_COVERAGE(0x80);
MARK_COVERAGE(0x100);
MARK_COVERAGE(0x200);
MARK_COVERAGE(0x400);
MARK_COVERAGE(0x800);
MARK_COVERAGE(0x1000);
MARK_COVERAGE(0x4000);
MARK_COVERAGE(0x8000);
MARK_COVERAGE(0x1);
MARK_COVERAGE(0x2);
MARK_COVERAGE(0x4);