现在我有#include <stdio.h> { unsigned int a; unsigned char b; a = 0x1234; b = a; printf("%x", b);}为什么输出的是34而不是1234?要怎样才能输出1234?