RET.REL   P, R, INT_IMM
READ P (1 slots) READ R (2 slots)

distilled: @P0 RET.REL P0, R0 0x10;

key: RET_P_R_I

0123456701234567012345670123456701234567012345670123456701234567
000010101001predicateoperand 2operand 10operand 2
0123456701234567012345670123456701234567012345670123456701234567
operand 200operand 2NODECoperand 0cNOT00000000000000stally111111b-maskreuse00
RET.REL   P, UR, INT_IMM
READ P (1 slots) READ UR (2 slots)

distilled: @P0 RET.REL P0, UR0 0x10;

key: RET_P_UR_I

0123456701234567012345670123456701234567012345670123456701234567
000010101001predicateoperand 2operand 100operand 2
0123456701234567012345670123456701234567012345670123456701234567
operand 200operand 2NODECoperand 0cNOT10000000000000stally111111b-maskreuse00
RET.REL   R, INT_IMM
READ R (2 slots)

distilled: @P0 RET.REL R0 0x10;

key: RET_R_I

0123456701234567012345670123456701234567012345670123456701234567
000010101001predicateoperand 1operand 00operand 1
0123456701234567012345670123456701234567012345670123456701234567
operand 100operand 1NODEC111000000000000000stally111111b-maskreuse00
RET.REL   UR, INT_IMM
READ UR (2 slots)

distilled: @P0 RET.REL UR0 0x10;

key: RET_UR_I

0123456701234567012345670123456701234567012345670123456701234567
000010101001predicateoperand 1operand 000operand 1
0123456701234567012345670123456701234567012345670123456701234567
operand 100operand 1NODEC111010000000000000stally111111b-maskreuse00