Replace TAGBODY by LOOP in REPEAT*.