man pages source for debugging utilities