char a=255;
a++;

としたら、aが0になることは仕様として保証されてますか？