void display_choice_menu();
int* do_concat(int array[], unsigned* size);
void do_sort(int array[], unsigned size);
void do_count(int array[], unsigned size);
void display_choice_menu();
int* do_concat(int array[], unsigned* size);
void do_sort(int array[], unsigned size);
void do_count(int array[], unsigned size);