let add_annot_pos1 { parse_pos; pstack } pos =
  pstack.Annot.positions <-
    mk_annot_pos1 parse_pos pos :: pstack.Annot.positions