manual pages source for debugging utilities
