Create type_as_switch.cpp