NAME=aes help changing seek
FILE==
CMDS=<<EOF
wx 55
e asm.arch=x86
e asm.bits=32
aes
sr PC
s
EOF
EXPECT=<<EOF
0x1
EOF
RUN

NAME=cmd.esil.intr unset
FILE==
CMDS=<<EOF
wx b8010000000f34b801000000cd80ebfe
10aes
EOF
EXPECT=
RUN

NAME=aes without initialize
FILE==
CMDS=<<EOF
e asm.arch=x86
e asm.bits=32
wx bb10000000 # mov ebx, 10
aes
ar~ebx
EOF
EXPECT=<<EOF
ebx = 0x00000010
EOF
RUN

NAME=dtel
FILE=bins/elf/ls
CMDS=<<EOF
s main
aei
aeim
6aes
s `arq rip`
ar
pd 4
aets+
4aes
(ar reg; ar ${reg})
..(ar rbx rdi rip rflags rsp)
echo qword[0x0] = `pv8 @ 0`
echo
dtel
EOF
EXPECT=<<EOF
rax = 0x0000000000000000
rbx = 0x0000000000000000
rcx = 0x0000000000000000
rdx = 0x0000000000000000
rsi = 0x0000000000000000
rdi = 0x0000000000000000
r8 = 0x0000000000000000
r9 = 0x0000000000000000
r10 = 0x0000000000000000
r11 = 0x0000000000000000
r12 = 0x0000000000000000
r13 = 0x0000000000000000
r14 = 0x0000000000000000
r15 = 0x0000000000000000
rip = 0x000000000000407b
rbp = 0x0000000000000000
rflags = 0x0000000000000000
rsp = 0x0000000000177fd8
            ;-- rip:
            0x0000407b      push  rbx
            0x0000407c      mov   rbx, rsi
            0x0000407f      sub   rsp, 0x58
            0x00004083      mov   rdi, qword [rsi]
rbx = 0x0000000000000000
rdi = 0x00010102464c457f
rip = 0x0000000000004086
rflags = 0x0000000000000004
rsp = 0x0000000000177f78
qword[0x0] = 0x00010102464c457f

0.addr=0x407b
0.reg.read=rsp,rbx
0.reg.read.rsp=0x177fd8
0.reg.read.rbx=0
0.reg.write=rsp
0.reg.write.rsp=0x177fd0
0.mem.write=0x177fd0
0.mem.write.data.0x177fd0=0000000000000000
1.addr=0x407c
1.reg.read=rsi
1.reg.read.rsi=0
1.reg.write=rbx
1.reg.write.rbx=0
2.addr=0x407f
2.reg.read=rsp
2.reg.read.rsp=0x177fd0
2.reg.write=rsp,of,sf,zf,pf,cf,af
2.reg.write.rsp=0x177f78
2.reg.write.of=0
2.reg.write.sf=0
2.reg.write.zf=0
2.reg.write.pf=1
2.reg.write.cf=0
2.reg.write.af=0
3.addr=0x4083
3.reg.read=rsi
3.reg.read.rsi=0
3.mem.read=0x0
3.mem.read.data.0x0=7f454c4602010100
3.reg.write=rdi
3.reg.write.rdi=0x10102464c457f
idx=3
EOF
RUN
