Fix bugs in #| reader.
Fix bugs in #| reader.

||# was not causing the comment to terminate.

varjagg/Mezzano,rvedam/Mezzano,froggey/Mezzano,varjagg/Mezzano,AugustusHuang/Mezzano,AugustusHuang/Mezzano,froggey/Mezzano,rvedam/Mezzano