let init_annot_pstate () = { Annot.positions = []; stack = [] }