das_byte
u8 das_byte(u8 d);
M.x86.R_AL = das_byte(M.x86.R_AL);
VAL_BYTE_UNARY(das_byte); /* Fails for 0x9A (out of range anyway) */