int b_main_source(int data);void _main(){int data;data=b_main_source(data);{char data_buf[10]="AAAAAAAAA";if (data >=0){printHexCharLine(data_buf[data]);}else{printLine("ERROR: Array index is negative");}}}int b_main_source(int data){data=RAND32();return data;}
static void main(){int data;data=b_main_source(data);{char data_buf[10]="AAAAAAAAA";{printHexCharLine(data_buf[data]);}else{printLine("ERROR: Array index is out-of-bounds");}}}int b_main_source(int data){data=RAND32();return data;}