Tools for debugging, benchmarking and other kinds of diagnostics.
This code may be used under the terms of the
GNU General Public License
.