decode 66c3 "[RET_2]"
decode 66c20000 "[RET_IMM_2 IMM2:0x0]"
decode 66c20d00 "[RET_IMM_2 IMM2:0xd]"
decode 66c20dff "[RET_IMM_2 IMM2:0xff0d]"
decode32 c3 "[RET_4]"
decode32 c20000 "[RET_IMM_4 IMM2:0x0]"
decode32 c20d00 "[RET_IMM_4 IMM2:0xd]"
decode32 c20dff "[RET_IMM_4 IMM2:0xff0d]"
decode64 c3 "[RET_8]"
decode64 c20000 "[RET_IMM_8 IMM2:0x0]"
decode64 c20d00 "[RET_IMM_8 IMM2:0xd]"
decode64 c20dff "[RET_IMM_8 IMM2:0xff0d]"