external printf

def print_one_int ()
local a1:
  a1: a1 <- copy %rdi;
  l00: %rdi <- copy "%d\n";
  l11: %rsi <- copy a1;
  l12: %rax <- copy 0;
  l13: printf();
  l14: ret;
end

globals (x)
  l01: %rdi <- add 37, 73;
  l03: print_one_int();
  l04: exit;
end