1package body Opt59_Pkg is
2
3  function Get_BV1 return Boolean_Vector is
4  begin
5    return (others => True);
6  end;
7
8  function Get_BV2 return Boolean_Vector is
9  begin
10    return (others => False);
11  end;
12
13  procedure Test (B : Boolean) is
14  begin
15    if not B then
16      raise Program_Error;
17    end if;
18  end;
19
20end Opt59_Pkg;
21