package body Discr29 is procedure Proc (R : out Rec3) is begin R := (False, Tmp); end; end Discr29;