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