extern "C" int printf(const char* fmt, ...);
void DotXable(int a = 1) {
  printf("%d\n", a);
}