package body testpkg is
    procedure not_guarded(x, y: integer) is begin null; end;
    procedure full_guarded(x, y: integer) is begin null; end;
    procedure guarded_and_then(x, y: integer) is begin null; end;
    procedure guarded_if_then(x, y: integer) is begin null; end;
    procedure no_need_for_guarded(x, y: positive) is begin null; end;
end testpkg;