LOOPS_aux := "1[ )E";