Random termination makes life interesting.