void b_main_sink();void _main(){int data;data=10;_main_data=data;b_main_sink();}void b_main_sink(){int data=_main_data;{char data_buf[10]="AAAAAAAAA";if (data >=0){printHexCharLine(data_buf[data]);}else{printLine("ERROR: Array index is negative");}}}
static void main(){int data;data=7;_main_data=data;b_main_sink();}void b_main_sink(){int data=_main_data;{char data_buf[10]="AAAAAAAAA";if (data >=0){printHexCharLine(data_buf[data]);}else{printLine("ERROR: Array index is negative");}}}