HAVCR1 and medical procedure: It has been shown in vivo that the ectodomain of KIM-1 is shed into the urine in rodents and humans after proximal tubular kidney injury.