void prints(char *s) {
  puts(s);
  puts("hello from the other side!");
}