// Dummy executable needed to work around coverage
int main()
{}