ABCB4 and gallstones: As a result, gallstones are spontaneously formed in ABCB4 KO mice on chow, as evidenced by a systematic microscopic and physical-chemical analysis of the biliary and gallstone phenotypes.