manual pages source for debugging utilities

.