rename this file to indicate that it is using Dumbbench.
various small tweaks.