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 }