package TREE_STATIC_Def is
type Int is record
Value : Integer;
end record;
procedure check (I : Int; v : integer);
One : constant Int := (Value => 1);
end;