#include <stdio.h>

void printi(int x) {
  printf("%d\n", x);
}