globals ()
%rdi <- copy 42;
observe_int();

exit;
end