80    function Vet (Position : Cursor) return Boolean;  subprogspec
204         (Vet (Position),
330       pragma Assert (Vet (Position), "bad cursor in Delete");
362       pragma Assert (Vet (Position), "bad cursor in function Element");
395       pragma Assert (Vet (Left), "Left cursor of Equivalent_Keys is bad");
396       pragma Assert (Vet (Right), "Right cursor of Equivalent_Keys is bad");
408       pragma Assert (Vet (Left), "Left cursor in Equivalent_Keys is bad");
420       pragma Assert (Vet (Right), "Right cursor of Equivalent_Keys is bad");
541       pragma Assert (Vet (Position), "bad cursor in Has_Element");
747       pragma Assert (Vet (Position), "bad cursor in function Key");
792       pragma Assert (Vet (Position), "bad cursor in function Next");
858       pragma Assert (Vet (Position), "bad cursor in Query_Element");
928         (Vet (Position),
1036       pragma Assert (Vet (Position), "bad cursor in Replace_Element");
1084       pragma Assert (Vet (Position), "bad cursor in Update_Element");
1100    function Vet (Position : Cursor) return Boolean is  subprogram
1149    end Vet;