let get_glob_ofs parse_pos pos = parse_pos.Parse_pos.global_offset + pos - parse_pos.Parse_pos.buf_pos