((
  (edi <- 45)
  (eax <- (allocate edi 3))
  (esi <- eax)
  ((mem esi 4) <- 87)
  (call :b)
  (eax <- (mem esi 4))
  (eax <- (print eax))
  ((mem esi 4) <- 101)
  (call :b)
  (eax <- (mem esi 4))
  (eax <- (print eax))
)(
  :b
  (return)
))
