with System.Storage_Elements; use System.Storage_Elements;

package Controlled7 is

  procedure Proc (Offset : Storage_Offset);

end Controlled7;