coverage/unreachable/break/main.rs, 5, PARTIAL
coverage/unreachable/break/main.rs, 6, FULL
coverage/unreachable/break/main.rs, 7, FULL
coverage/unreachable/break/main.rs, 11, NONE
coverage/unreachable/break/main.rs, 12, PARTIAL
coverage/unreachable/break/main.rs, 16, FULL
coverage/unreachable/break/main.rs, 17, FULL
coverage/unreachable/break/main.rs, 18, FULL
coverage/unreachable/break/main.rs, 19, FULL