static void main_sink(int data){{char * char_string;if (data > 0){char_string=(char *)malloc(data*sizeof(char));strcpy(char_string, HELLO_STRING);printLine(char_string);free(char_string);}else{printLine("Input is less than 0");}}}void _main(){int data;data=-1;data=RAND32();main_sink(data);}
static void main_sink(int data){{char * char_string;if (data > 0){char_string=(char *)malloc(data*sizeof(char));strcpy(char_string, HELLO_STRING);printLine(char_string);free(char_string);}else{printLine("Input is less than 0");}}}static void main(){int data;data=-1;data=20;main_sink(data);}