(* 32-bit architecture: *)

val _ = (load "Word"; load "Word8");

val minInt1 = ~1073741824;
val maxInt1 =  1073741823;

val minInt2  = ~0x40000000;
val maxInt21 =  0x3fffffff;
val maxInt22 =  0x3FFFFFFF;

val test1 = minInt1 = minInt2;
val test2 = maxInt1 = maxInt21 andalso maxInt21 = maxInt22;

val maxWord1 = 0w2147483647;
val maxWord2 = 0wx7fffffff;

val test3 = maxWord1 = maxWord2 andalso maxWord1 = Word.fromInt ~1;

val maxWord8_1 = 0w255;
val maxWord8_2 = 0wxFF;

val test4 = maxWord8_1 = maxWord8_2 andalso maxWord8_1 = Word.fromInt 255;

val fail1 = ~1073741825;
val fail2 =  1073741824;
val fail3 = ~0x40000001;
val fail4 =  0x40000000;
val fail5 = 0w2147483648;
val fail6 = 0wx80000000;
val fail7 = 0w256  : Word8.word;
val fail8 = 0wx100 : Word8.word;
val fail9  =  9999999999999999999999999999999999999999;
val fail10 = ~9999999999999999999999999999999999999999;
val fail11 =  0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF;
val fail12 = ~0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF;
val fail13 = 0wxFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF;
val fail14 = 0wxFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF : Word8.word;