external printf

def print_four_int ()
local a1, a2, a3, a4:
  a1: a1 <- copy %rdi;
  a2: a2 <- copy %rsi;
  a3: a3 <- copy %rdx;
  a4: a4 <- copy %rcx;
  l10: %rdi <- copy "%d %d %d %d\n";
  l11: %rsi <- copy a1;
  l12: %rdx <- copy a2;
  l13: %rcx <- copy a3;
  l14: %r8 <- copy a4;
  l15: %rax <- copy 0;
  l16: printf();
  l17: ret;
end

globals (x)
  l01: %rdi <- copy 37;
  l02: %rsi <- copy 73;
  l03: %rdx <- copy 31;
  l04: %rcx <- copy 13;
  l05: print_four_int();
  l06: exit;
end