#include <Arduino.h>
void SetupES(void);
unsigned char readPort(void);
void writePort(unsigned char value);