const background_size_setterinfo: JSJitInfo;