rev. fe6c12e9c4cb121395e28ad7db858d07b6ce2052..4f0b6167fb722a0c66237570e5707141ceb5f9c0 (ignoring whitespace)