// NB: This code will never be run, but we do need a realistic-looking
// executable for the tests.
int main() {}