void EAT_load();
void EAT_commit();
void EAT_initialize();

int EAT_get_length(byte module);
bool EAT_allocate(byte module, byte length);
void EAT_write(byte module, byte offset, byte value);
byte EAT_read(byte module, byte offset);