Don Knuth, Bertrand Meyer and John Walker, 11:32