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