void hardware_setup(void);
void set_LED_R(int);
void set_LED_G(int);
int get_sw1(void);
int get_PortA_bit(int);
void set_PortE_bit(int,int);