const animation_setterinfo: JSJitInfo;