Color refactoring makes JK_NEXT8 unnecessary.
-O0 gives a nicer picture of coverage.