File content as of revision 3:0a89775f58f1:

#include "mbed.h"

#define BUTTON1  P14 // M3:push joystick pin 
#define BUTTON1 A1 //NUCLEO:Taster A1

//int modifyBit(int x,unsigned char position,bool State);
//int lauflicht(bool richtung,int time,int &anz);
void nibbleLeds(int value);
void printb(uint8_t x);

void nibbleLeds(int value);
 
BusOut myleds(LED1,LED2,LED3,LED4);
DigitalIn button(BUTTON1);

const int INIT=0x03;

int main() {
    int anzahl,anz;
    uint8_t value=INIT;
    
    nibbleLeds(value);
    printb(value);
    wait(0.1);
    
}

int lauflicht(bool richtung,int time,int &anz) {
    
    int i;
    uint8_t lauf=0x01;
    
    if(!richtung)
    lauf=0x08;
    while(1) {
        nibbleLeds(lauf&0x0F);
        if(richtung) {
            lauf=lauf <<1;
            if(lauf>8)
            lauf=0x01;
            }
            else {
                lauf=lauf>>1;
                if(lauf==0)
                lauf=0x08;
                }
    if(button)
    break;
    wait_ms(time);
    anz++;
    }
    return anz;
    }
    
    


void printb(uint8_t x) {
    for(int i=sizeof(x)<<3;i;i--)
    putchar('0'+((x>>(i-1))&1));
    printf("\n");
    }
void nibbleLeds(int value) {
    myleds=value%16;
    }