// FIXME: Dummy main to have this program compile and link. Populate // with an actual test case. int main() {}