Why does printing a character variable with %d give a negative value in c?

Question

I tried the following piece of code, expecting the output to be positive 64:

char val = 0x80; 
printf("%d",val>>1);

My unders