const background_setterinfo: JSJitInfo;