sig
  val lexbuf_init : Pervasives.in_channel -> string -> unit
  val read_from_lexbuf_stack : bytes -> int -> int
  val token : Lexing.lexbuf -> LustreParser.token
end