Code generated for while loop