Symbol: re_exec