manual pages source for debugging utilities