const animationName_setterinfo: JSJitInfo;