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