transformador decimal a binario con pulsador

const int pulsador=9,led1=10,led2=11,led3=12;
void setup() {
pinMode(led1,OUTPUT);
pinMode(led2,OUTPUT);
pinMode(led3,OUTPUT);
pinMode(pulsador,INPUT);
}
int x=0

void loop() {
switch(x){

case 1:
if(digitalRead(pulsador)==HIGH){ digitalWrite(led1,HIGH); else digitalWrite(led1,LOW);}
break:
case 2:
if(digitalRead(pulsador)==HIGH){ digitalWrite(led2,HIGH); else digitalWrite(led2,LOW);}
break:
case 3:
if(digitalRead(pulsador)==HIGH){ digitalWrite(led1,HIGH) digitalWrite(led2,HIGH); else digitalWrite(led1,LOW)
digitalWrite(led2,LOW);}
break:
case 4:
if(digitalRead(pulsador)==HIGH){ digitalWrite(led3,HIGH); else digitalWrite(led3,LOW);}
break:
case 5:
if(digitalRead(pulsador)==HIGH){ digitalWrite(led3,HIGH) digitalWrite(led1,HIGH); else digitalWrite(led3,LOW)digitalWrite(led1,LOW);}
break:
case 6:
if(digitalRead(pulsador)==HIGH){ digitalWrite(led3,HIGH) digitalWrite(led2,HIGH); else digitalWrite(led3,LOW)digitalWrite(led2,LOW);}
break:
case 7:
if(digitalRead(pulsador)==HIGH){ digitalWrite(led3,HIGH)digitalWrite(led2,HIGH) digitalWrite(led1,HIGH); else digitalWrite(led3,LOW)digitalWrite(led2,LOW)digitalWrite(led1,LOW);}
break:
}
}

me sale este errror
convertidor_de_de_decimal_a_binario:3: error: expected unqualified-id before numeric constant
que puedo hacer?

const int pulsador=9,led1=10,led2=11,led3=12;

Si veo bien eso no esta permitido.

const byte pulsador=9;
const byte led1=10;
const byte led2=11;
const byte led3=12;