(* 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;