Choledocolithotomy procedure. ネジチョコ 車. Markov switching model example. Al radhi wikipedia.