"main.c", line 6: [0: 0 0 0] loop zero times: 0, one time: 0, many times: 0.
"main.c", line 8: [4: 0 0] loop one time: 0, many times: 0.
