let term_input ch =
  let lb = Lexing.from_channel ch in 
  Parser.termeof Lexer.token lb