rev. ad7f245f4b3254adb8392ead51b55fa7ea664a14..7147237cac7c3d5771add89f067db77718e355f7 (ignoring whitespace)