runtime.c

#include <stdio.h>

int read_int() {
  int x;

  scanf("%d", &x);

  return x;
}

int print_int(int x) {
  printf("%d\n", x);
  
  return 0;
}