INTERFACE ObProxiedObj; IMPORT ObProtoLoader, ObValue, ProxiedObj; PROCEDURE SetupPackage (); PROCEDURE SetupModule (loader : ObProtoLoader.T); TYPE T <: Public; Public = ObValue.ValAnything OBJECT po : ProxiedObj.T; END; END ObProxiedObj.