(uncompilable state) further step towards implementing regexec