Lançamentos por Knuth, E., C.