loop-invariant.c 922 Bytes