rev. f41cace2a734e6c9362a7de1a78cc55088fc69d2..55e79b6a762708c5fc71711475dbc5a71f992f6c (ignoring whitespace)