const documentElement_getterinfo: JSJitInfo;