procedure { Foo } is
begin
   null ^ ;
end Foo;
