rev. f6dddb51f1d90c6f3dac4edaaab370ee6e2b4d62..79dd8da568090dc3fbe7675af804bb93561559bc (ignoring whitespace)