globals (x, y, z, k)
x <- copy 6;
y <- copy 7;
z <- mul y, x;
k <- sub z, x;
debug:
%rdi <- copy k;
observe_int();
exit;
end
