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