with Pack; use Pack;

Package Body Pack2 is

  tab : array( 1..Integer(1000) ) of Integer ;

  Procedure proc is separate ;

End ;