b main
disp/x {$rsp, $rbp}
r
si
si
echo # 以下のように%rsp/%rbpが増加して，次に元に戻れば成功\n
echo # 1: /x {$rsp, $rbp} = {0x7fffffffde98, 0x1}\n
echo # 1: /x {$rsp, $rbp} = {0x7fffffffde70, 0x7fffffffde90}\n
echo # 1: /x {$rsp, $rbp} = {0x7fffffffde98, 0x1}\n
quit