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