This is the result of an automated conversion by decaffeinate followed
by a manual review and clean-up of the result.