const disabled_getterinfo: JSJitInfo;