const window_getterinfo: JSJitInfo;