path: root/test_deliverable/testcases/test_SWITCH_driver.c

int switch_(int, int);

int main()
{
    return !( 9 == switch_(9, 4) );
}