const animation_duration_setterinfo: JSJitInfo;