unsigned な変数とsignedな変数を相互に変換して元の値が保証される？
unsigned char a = 0xff;
signed char b = a;
a = b;
printf("%d\n",a);
とかやったら255になることは保証される？