Initial version of Rob Pike's regex matcher