Tools for debugging, benchmarking and other kinds of diagnostics.

This code may be used under the terms of the GNU General Public License.