/* */ #define uint8 unsigned char #include #include #include #define DEBUGPRNT(A) printf(A); const int SPECIFICATION_VERSION = 0; const char* POINTER32 = "