#define size_ehcmodule 32432

extern unsigned char ehcmodule[32432];