Hi,
Using a <*> "\000" rule make the parser behave weard : It matches the rule at a place where it shouldn't. I've make a testcase that shows the behaviour. Tarball is available on http://www.palsenberg.com/plain/test-re2c.tar.gz
If you need more info : Please let me know.
It seems to go wrong with all single-character matches : \x01 also gives wrong results.
Please attach a fail case, the smaller the better. I tried to download your url but got a 404. I am dropping the priority until a fail case is supplied.