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