A, B : not null access constant Integer := null with Foo => Bar;