See "oldcoder.txt".