void _main(){int data;data=-1;if(global_returns_t_or_f()){data=RAND32();}else{data=20;}if(global_returns_t_or_f()){{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");}}}else{{char * char_string;if ((size_t)data > strlen(HELLO_STRING) && data < 100){char_string=(char *)malloc(data*sizeof(char));strcpy(char_string, HELLO_STRING);printLine(char_string);free(char_string);}else{printLine("Input is less than the length of the source string or too large");}}}}
static void main(){int data;data=-1;if(global_returns_t_or_f()){data=RAND32();}else{data=RAND32();}if(global_returns_t_or_f()){{char * char_string;if ((size_t)data > strlen(HELLO_STRING) && data < 100){char_string=(char *)malloc(data*sizeof(char));strcpy(char_string, HELLO_STRING);printLine(char_string);free(char_string);}else{printLine("Input is less than the length of the source string or too large");}}}else{{char * char_string;if ((size_t)data > strlen(HELLO_STRING) && data < 100){char_string=(char *)malloc(data*sizeof(char));strcpy(char_string, HELLO_STRING);printLine(char_string);free(char_string);}else{printLine("Input is less than the length of the source string or too large");}}}}