set pc x3000
set r2 x1234
set r3 x0004
continue
check r5 x1234