loop-invariant.c 873 Bytes