// Suppress 'no run line' failure.
// RUN: true
// Paragraph 1 is descriptive, and therefore requires no tests.