Pooh: trick of passing location info from yylex did not work with newer version of bison.
Pooh: trick of passing location info from yylex did not work with newer version of
bison.

MoserMichael/cstuff,MoserMichael/cstuff,MoserMichael/cstuff,MoserMichael/cstuff,MoserMichael/cstuff,MoserMichael/cstuff,MoserMichael/cstuff