I don't think it's a bug, it's simply a limitation (intentional or otherwise) of the parser. The lack of null tokens with $gettok() is presumably linked with the lack of null tokens when using /tokenize or the 'stripped spaces' effect of all text in mIRC. Personally I'd like to see null tokens allowed, but I'd imagine it would break a whole lot of old scripts so I don't know whether other people would feel the same way.
