Hi Tom,
Fair enough. I have not seen anyone write that either, and using void as aregular data type is not something we should encourage. I'm fine withleaving 0002 as is. Both patches look good to me
Thanks,
Shihao