#include <stdio.h>

void print_result(int result) {
  printf("%d\n", result);
}