File content as of revision 0:49a27b366dba:

#include "mbed.h"
#include "ur_Bertl.h"
#include "const.h"

int main() 
{
    ur_Bertl karel;
    while(1) 
    {
        
        if (!karel.IsButtonPressed(BTN_FRR))
             karel.NibbleLeds(0x0F);   
        else
            karel.NibbleLeds(0x40);
        
        
        if (!karel.IsButtonPressed(BTN_FR))
            karel.NibbleLeds(0x0F); 
        else
            karel.NibbleLeds(0x08);
        
        
        if (!karel.IsButtonPressed(BTN_FM))
            karel.NibbleLeds(0x0F); 
        else
            karel.NibbleLeds(0x01);
        
        
        if (!karel.IsButtonPressed(BTN_FL))
            karel.NibbleLeds(0x0F); 
        else
            karel.NibbleLeds(0x04);
            
            
        if (!karel.IsButtonPressed(BTN_FLL))
            karel.NibbleLeds(0x0F); 
        else
            karel.NibbleLeds(0x80);
    }
}