procedure Elab4_Proc is
begin
   null;
end;