rev. f6dddb51f1d90c6f3dac4edaaab370ee6e2b4d62..4bea7dd87838de779f99167f9277f91eec2e445d (ignoring whitespace)