procedure Foo is
begin
   null;
end Foo;