REGNO_X86_64_RSP
uint64_t getSP() const { return reg[REGNO_X86_64_RSP]; }
void setSP(uint64_t value) { reg[REGNO_X86_64_RSP] = value; }