mod.pc_sfifo_1_false-unreach-call_false-termination.cil.c
lines 196 201 314 214 242 247 251
guide 1 1 1 1 1 1 0