regexp_instr::=