const unsigned char INSTRU_N_00_01_001_CRC___1525983317999999999994352352523523993424999 = 0; void main () { const unsigned char INSTRU_N_00_01_001_CRC___1525983317999999999994352352523523993424999 = 0; }