loop-invariant.c 53.2 KB