static void main_sink(int data){{wchar_t data_buf[10]=L"AAAAAAAAA";if (data >=0){printWcharLine(data_buf[data]);}else{printLine("ERROR: Array index is negative");}}}void _main(){int data;void (*func_ptr) (int)=main_sink;data=RAND32();func_ptr(data);}
static void main_sink(int data){{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;void (*func_ptr) (int)=main_sink;data=RAND32();func_ptr(data);}