Rename semaforo to Semaforo