1/* BEGIN_HEADER */
2
3/* END_HEADER */
4
5/* BEGIN_CASE */
6/* This test case always passes. It is intended solely for configuration
7 * reporting in the outcome file. Write test cases using this function
8 * with dependencies to record in which configurations the dependencies
9 * are met. */
10void pass()
11{
12    goto exit;
13}
14/* END_CASE */
15