lexer in Inf/Zip allowed