void _main(){int data;int *data_ptr1=&data;int *data_ptr2=&data;{int data=*data_ptr1;data=10;}{int data=*data_ptr2;{wchar_t data_buf[10]=L"AAAAAAAAA";if (data >=0){printWcharLine(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=10;}{int data=*data_ptr2;{wchar_t data_buf[10]=L"AAAAAAAAA";{printWcharLine(data_buf[data]);}else{printLine("ERROR: Array index is out-of-bounds");}}}}