docs: def stack_space(self, args):
          """
          :param args:        A list of SimFunctionArguments
  
          :returns:           The number of bytes that should be allocated on the stack to store all these args,
                              NOT INCLUDING the return address.
          """
          out = self.STACKARG_SP_DIFF
          for arg in args:
              if isinstance(arg, SimStackArg):
                  out = max(out, arg.stack_offset + self.arch.bytes)
  
          out += self.STACKARG_SP_BUFF
          return out