const activeElement_getterinfo: JSJitInfo;