-- { dg-do compile }
-- { dg-final { scan-assembler-not "elabs" } }
package body OCONST3 is
procedure check (arg : R) is
begin
if arg.u /= 1
or else arg.f /= one
or else arg.b.i1 /= 3
then
raise Program_Error;
end if;
end;