fprintf returns number of chars processed; attach Berkeley header