Jere writes: > Do you know of any syntax changes I might need to do to: > > -- The following lines give the errors: > -- "p1" conflicts with declaration at line xxx > -- and > -- missing body for "p1" > > --overriding > --procedure p1(Self : in out Instance); > > So I don't need to always dispatch? I'm not 100% sure why this works & the other doesn't - I think because Instantiation.P1 is actually publicly visible. Also not sure whether you could do away with the inner Instantiation. Anyway,