whitespace cosmetics, prettyprinting, K&R coding style