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