Um botão ligado a um resistor de pull-up e ao pino 13 do E

Um botão ligado a um resistor de pull-up e ao pino 13 do ESP32 constitui o seu circuito de entrada, sendo o circuito de saída um LED ligado ao pino 12. Deseja-se que o botão, ao ser acionado, ligue o LED; caso contrário, o LED permanece desligado. Para tanto, um código foi desenvolvido na IDE Arduino, cuja etapa void loop é: 
void loop () int botao = digitalRead (13); if (botao == 0) {     digitalWrite (12, HIGH); } else {     digitalWrite (12, LOW); } delay (500); } 
Durante a compilação, surgiu uma mensagem de erro, cuja causa é: