regexp needs to record none (d we do this extra save in compilers too?