File content as of revision 0:334057f172d7:

#include "mbed.h"
 
BusOut leds(P1_13,P1_14,P1_22,P0_17,P0_18,P0_19,P1_15,P0_1);
 
int main() {
    while(1) {
        leds = 0x80;
        wait(0.5);
        leds = 0x40;
        wait(0.5);
        leds = 0x20;
        wait(0.5);
        leds = 0x10;
         wait(0.5);
        leds = 0x08;
         wait(0.5);
        leds = 0x04;
         wait(0.5);
        leds = 0x02;
         wait(0.5);
        leds = 0x01;
         wait(0.5);
        leds = 0x80;
        wait(0.3);
        leds = 0xc0;
        wait(0.3);
        leds = 0xe0;
        wait(0.3);
        leds = 0xf0;
        wait(0.3);
        leds = 0xf8;
        wait(0.3);
        leds = 0xfc;
        wait(0.3);
        leds = 0xfe;
        wait(0.3);
        leds = 0xff;
        wait(0.3);
        leds = 0xfe;
        wait(0.3);
        leds = 0xfc;
        wait(0.3);
        leds = 0xf8;
        wait(0.3);
        leds = 0xf0;
        wait(0.3);
        leds = 0xe0;
        wait(0.3);
        leds = 0xc0;
        wait(0.3);
        leds = 0x80;
        wait(0.3);
        leds = 0x00;
        wait(0.3);
        leds = 0xff;
        wait(0.2);
        leds = 0x00;
        wait(0.2);
        leds = 0xff;
        wait(0.2);
        leds = 0x00;
        wait(0.2);
        leds = 0x1;
        wait(0.2);
        leds = 0x33;
        wait(0.2);
        leds = 0x77;
        wait(0.2);
        leds = 0xff;
        wait(0.2);
        leds = 0xe0;
        wait(0.2); 
         leds = 0xff;
        wait(0.2);
        leds = 0x00;
         wait(0.2);
        leds = 0xff;
         wait(0.2);
        leds = 0x00;
        wait(0.2);
        leds = 0x81;
         wait(0.2);
        leds = 0x42;
         wait(0.2);
        leds = 0x24;
         wait(0.2);
        leds = 0x18;
         wait(0.2);
        leds = 0xff;
         wait(0.1);
        leds = 0x00;
         wait(0.1);
        leds = 0xff;
          wait(0.05);
        leds = 0x00;
         wait(0.05);
        leds = 0xff;
          wait(0.025);
        leds = 0x00;
         wait(0.025);
          leds = 0xff;
          wait(0.01);
        leds = 0x00;
        
    }
}