conversión de controlflow/{switch.cpp -> switch.c}