See regcomp.html