manual pages source for the C programming language