#include <cstdio>
namespace std {
  int printf(const char* format ...);
}