12.4. Stack Operations

Save and restore registers:

def saveRegs : Program := x86! {
  push eax
  push ebx
  push ecx
  push edx
}

def restoreRegs : Program := x86! {
  pop edx   -- Reverse order!
  pop ecx
  pop ebx
  pop eax
}