#include <stdio.h>
#include <inttypes.h>

void print_result(int64_t x)
{
  printf("%" PRId64, x);
}