Decoding (but not handling) of basic ARM semihosting requests