#include <stdio.h>
void sayBye(int x)
{
  printf("good bye %d\n", x);
}