def get_stack_arg(self, index):
        return self.vm.get_u64(self.cpu.RSP + 8 * index)