Command line utilities for THUMP.