#include <stdio.h>
#include "output.h"

void print_res(int a) {
	printf("Result: %d\n", a);
	fflush(stdout);
}