coverage/reachable/rem-zero/reachable_pass/test.rs, 5, PARTIAL
coverage/reachable/rem-zero/reachable_pass/test.rs, 6, FULL
coverage/reachable/rem-zero/reachable_pass/test.rs, 10, FULL
coverage/reachable/rem-zero/reachable_pass/test.rs, 11, FULL