Fix ints in execute.c introduce being_loop

See title