void _main(){int data;if(global_returns_t_or_f()){data=10;}else{data=7;}if(global_returns_t_or_f()){{wchar_t data_buf[10]=L"AAAAAAAAA";if (data >=0){printWcharLine(data_buf[data]);}else{printLine("ERROR: Array index is negative");}}}else{{wchar_t data_buf[10]=L"AAAAAAAAA";{printWcharLine(data_buf[data]);}else{printLine("ERROR: Array index is out-of-bounds");}}}}
static void main(){int data;if(global_returns_t_or_f()){data=10;}else{data=10;}if(global_returns_t_or_f()){{wchar_t data_buf[10]=L"AAAAAAAAA";{printWcharLine(data_buf[data]);}else{printLine("ERROR: Array index is out-of-bounds");}}}else{{wchar_t data_buf[10]=L"AAAAAAAAA";{printWcharLine(data_buf[data]);}else{printLine("ERROR: Array index is out-of-bounds");}}}}