with Q1; use Q1;

procedure P1 is
begin
  if Func (10, 20) /= 25 then
    raise Program_Error;
  end if;
end;