let lextoks toks =
    let tokens = ref (convert toks) in
    function _ ->
        match !tokens with
            | [] -> raise(Failure("Not even EOF given."))
            | tk::tks -> tokens := tks; tk