AB18.3.4
AB18.3.4 H. Bekic: Note on a test example by D. E. Knuth, page 13
Page 13