#include <stdio.h>

int main(){
    unsigned char a;
    a=0x56;
    printf("%x",(unsigned char)(a<<2));  // I am expecting the output to be 58 here.
}