File content as of revision 0:833040f9657f:

#include "mbed.h"
#include "DebounceIn.h"

DebounceIn button(p19);
DigitalOut led1(p24);
DigitalOut led2(p23);
DigitalOut led3(p22);
DigitalOut led4(p21);
DigitalIn hall(p20);
Serial pc(USBTX, USBRX);

int bcount = 0;
void show(){
    bcount++;
    pc.printf("detected count = %d\r\n",bcount);
    }
    
int main(){
    button.rise(&show);
    while(1){
         pc.printf("looping\r\n");
         wait(1);
         bcount == !button;
        
        if (bcount >= 10){
            led1=1;
            led2=1;
            led3=1;
            led4=1;
            wait(2);
            led1=0;
            wait(0.2);
            led2=0;
            wait(0.2);
            led3=0;
            wait(0.2);
            led4=0;
            }
            else{
                led1=0;
                led2=0;
                led3=0;
                led4=0;
                }
        }
    }