b 10
r
echo # x/1gd $rsp\n
x/1gd $rsp
si
si
echo # x/1gd $rsp\n
x/1gd $rsp
echo # p $rax\n
p $rax
echo # 出力が以下なら成功\n
echo # 0x7fffffffde90:	1000  (代入成功)\n
echo # 0x7fffffffde90:	1000  (代入失敗)\n
echo # $1 = 1000 (%raxは999だったが，失敗したので1000に変更された)\n
quit