: ADC32 ( Rm Rn Rd -- ) ADC32-encode >out ;
: ADCS32 ( Rm Rn Rd -- ) ADCS32-encode >out ;
: ADC64 ( Rm Rn Rd -- ) ADC64-encode >out ;
-: ADCS64 ( Rm Rn Rd -- ) ADCS64-encode >out ;
\ No newline at end of file
+: ADCS64 ( Rm Rn Rd -- ) ADCS64-encode >out ;
+
+: BRK ( imm16 -- ) BRK-encode >out ;
\ No newline at end of file