the Programmer's Supplementary Documentation for BSD