const background_color_setterinfo: JSJitInfo;