#include <stdio.h>
 
bye(char* who) {
 
	printf("Bye, %s!\n", who);
}