const disabled_setterinfo: JSJitInfo;