Clearly you are both wrong, and the only possible correct answer is this:
switch( current_state )
{
case 0: set_lights_green(); break;
case 1: set_lights_red(); break;
default: set_lights_blue();
}
(That is a smily. It indicates that I did not mean the first sentence to be taken seriously, it was a joke.)