with testpkg; use testpkg;
procedure testclient is 
begin 
    not_guarded(integer'first, -1);
end testclient;