(n.) See Lithotriptor.