const href_getterinfo: JSJitInfo;