Numerical simulation of mammatus.