x = 1u64;
function mean_x(y) {
    base = x + y;
    result = base / 2;
    result
};
a = 3;
mean_x_and_a = mean_x(a);
mean_x_and_9 = mean_x(9);
print mean_x_and_a;
print mean_x_and_9;