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