Don Knuth and Manuel Gil, 15:08