#include <stdio.h>
#include <stdlib.h>

typedef unsigned char byte;  
/* the arduino API prefers to refer to bytes rather than unsigned chars */
#define DEBOUNCE 50
#define sensorPin A7
#define button 12


int main()
{
  byte A0 = ;

/*   LEDS defined : */
/*   Led 1 = 0 */
/*   Led 2 = 1 */
/* etc... */
 

   
  return 0;
}
