set pc x3000
set r2 x800D
set r3 x0230
continue
check r5 x823D