Replace TAGBODY by LOOP in REPEAT+.