Revised to r43126. Line 317, 10%.

Some indents are changed in keeping with original documents.