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