r5851 jmb - /trunk/hubbub/src/tokeniser/tokeniser.c