// Suppress 'no run line' failure.
// RUN: echo ok

// Paragraph 1 is descriptive, and therefore requires no tests.