Generated from master@0352822.