Dworkin's Game Driver (MUD server), version 1.0.8.