testdata/control-flow-graph/test_switch