INTERFACE X_PEX_BaseProxy; FROM X_PEX_Base IMPORT T;
VAR MkProxyT : PROCEDURE (x : T) := NIL; END X_PEX_BaseProxy.