Symbol: regexec