string_lit buffer lexbuf