rev. 05ea93b921ae53a90ef2da5bfa2019aa528c7347..716517ed01188f6095adefe9dd66a03f24521608 (ignoring whitespace)