IO lexing