Running the following code:
unsigned int right_shift_val = (0x20); printf("right shift 0xFC0 [by 0x%x], method #1: 0x%x \\n", right_shift_val, 0xFC0