UNSAFE INTERFACEthe interface isolates all the extension-dependant fields in an XClient.T definition. XClientF.T_Ext must <: XClientF.T_RelXClientExt ;
IMPORT XClientF, XSharedMem; REVEAL XClientF.T_Ext = XSharedMem.XClient_T BRANDED OBJECT END; END XClientExt.