More on loop_3.c