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