const background_repeat_setterinfo: JSJitInfo;