let mk_annot_pos
      ({ Parse_pos.text_line = line; text_char = col } as parse_pos) pos =
  { Annot.line; col; offset = get_glob_ofs parse_pos pos }