Simple macro implementation of for_while_equiv.