fbd7e01fa7d9a1b9cde178b4da7207f27c8b4f97
5 void swap_int(int* v1
, int* v2
) {
11 void swap_ptr(void* v1
, void* v2
) {
17 void handle_prompt_error(int errno
) {
19 printf("\nMerci de saisir un nombre entier, exiting\n");
20 /* it's somewhat violent but better than looping forever */