The Gaucher mouse.