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