loop^-  =>  loop^\blank