rev. f41cace2a734e6c9362a7de1a78cc55088fc69d2..cae88320c5e3401711bb6786591141b9a5c0993d (ignoring whitespace)