whitespace cosmetics: prettyprinting, K&R style