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