#include <cstdio>
void printhello(const char *name) {
  printf("hello %s \n", name);
  }