miscellaneous utilities from /usr/games

.