printf ("%X\n", 0xEF<<1 & 0xFF);
# prints DE which means 222 in decimal