rev. 8dfad0fa394f76978d0bb15120ef7962f88bd26a..7d06030b469491e96ca547e7bc1f190c74eb6797 (ignoring whitespace)