with Bar; use Bar;

procedure Null_Record is
begin
   Do_Nothing;
end Null_Record;