Loop control refinements