extern ltoken LSLScanNextToken(void) /*@modifies internalState@*/ ;
extern void LSLScanFreshToken(ltoken p_tok) /*@modifies internalState@*/ ;
extern ltoken LSLScanNextToken(void) /*@modifies internalState@*/ ;
extern void LSLScanFreshToken(ltoken p_tok) /*@modifies internalState@*/ ;