void print_result(int result);