b 7
r
disp/x $rbx
si
si
echo # 以下が表示されれば成功\n
echo # 1: /x $rbx = 0xffffffffffffffff\n
echo # 1: /x $rbx = 0xffff\n
quit