(* 32 bit architecture *) 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;