const href_setterinfo: JSJitInfo;