hello.c

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