globals (res)
res <- mul 1, 5;
res <- mul res, 4;
res <- mul res, 3;
res <- mul res, 2;
res <- mul res, 1;
debug:
%rdi <- copy res;
observe_int();
exit;
end
