/* BEGIN_HEADER */
#include "pk_internal.h"
/* END_HEADER */

/* BEGIN_CASE */
/* This test case always passes. It is intended solely for configuration
 * reporting in the outcome file. Write test cases using this function
 * with dependencies to record in which configurations the dependencies
 * are met. */
void pass()
{
    goto exit;
}
/* END_CASE */
