Symbol: re_reexec