import M0;

#include<cstdio>

int main(int argc, char **argv) {
  printf("Got number %d.\n", f0());
  return 0;
}