../../../casl2 mull.casl ../../../as/misc/mull0.casl ../../../as/casl2lib/outl.casl 0 0 0 -------------------- 0 1 0 -------------------- 0 2 0 -------------------- 0 127 0 -------------------- 0 128 0 -------------------- 0 255 0 -------------------- 0 256 0 -------------------- 0 257 0 -------------------- 0 32767 0 -------------------- 0 32768 0 -------------------- 0 65535 0 -------------------- 1 0 0 -------------------- 1 1 1 -------------------- 1 2 2 -------------------- 1 127 127 -------------------- 1 128 128 -------------------- 1 255 255 -------------------- 1 256 256 -------------------- 1 257 257 -------------------- 1 32767 32767 -------------------- 1 32768 32768 -------------------- 1 65535 65535 -------------------- 2 0 0 -------------------- 2 1 2 -------------------- 2 2 4 -------------------- 2 127 254 -------------------- 2 128 256 -------------------- 2 255 510 -------------------- 2 256 512 -------------------- 2 257 514 -------------------- 2 32767 65534 -------------------- 2 32768 Warning: overflow -------------------- 2 65535 Warning: overflow -------------------- 127 0 0 -------------------- 127 1 127 -------------------- 127 2 254 -------------------- 127 127 16129 -------------------- 127 128 16256 -------------------- 127 255 32385 -------------------- 127 256 32512 -------------------- 127 257 32639 -------------------- 127 32767 Warning: overflow -------------------- 127 32768 Warning: overflow -------------------- 127 65535 Warning: overflow -------------------- 128 0 0 -------------------- 128 1 128 -------------------- 128 2 256 -------------------- 128 127 16256 -------------------- 128 128 16384 -------------------- 128 255 32640 -------------------- 128 256 32768 -------------------- 128 257 32896 -------------------- 128 32767 Warning: overflow -------------------- 128 32768 Warning: overflow -------------------- 128 65535 Warning: overflow -------------------- 255 0 0 -------------------- 255 1 255 -------------------- 255 2 510 -------------------- 255 127 32385 -------------------- 255 128 32640 -------------------- 255 255 65025 -------------------- 255 256 65280 -------------------- 255 257 65535 -------------------- 255 32767 Warning: overflow -------------------- 255 32768 Warning: overflow -------------------- 255 65535 Warning: overflow -------------------- 256 0 0 -------------------- 256 1 256 -------------------- 256 2 512 -------------------- 256 127 32512 -------------------- 256 128 32768 -------------------- 256 255 65280 -------------------- 256 256 Warning: overflow -------------------- 256 257 Warning: overflow -------------------- 256 32767 Warning: overflow -------------------- 256 32768 Warning: overflow -------------------- 256 65535 Warning: overflow -------------------- 257 0 0 -------------------- 257 1 257 -------------------- 257 2 514 -------------------- 257 127 32639 -------------------- 257 128 32896 -------------------- 257 255 65535 -------------------- 257 256 Warning: overflow -------------------- 257 257 Warning: overflow -------------------- 257 32767 Warning: overflow -------------------- 257 32768 Warning: overflow -------------------- 257 65535 Warning: overflow -------------------- 32767 0 0 -------------------- 32767 1 32767 -------------------- 32767 2 65534 -------------------- 32767 127 Warning: overflow -------------------- 32767 128 Warning: overflow -------------------- 32767 255 Warning: overflow -------------------- 32767 256 Warning: overflow -------------------- 32767 257 Warning: overflow -------------------- 32767 32767 Warning: overflow -------------------- 32767 32768 Warning: overflow -------------------- 32767 65535 Warning: overflow -------------------- 32768 0 0 -------------------- 32768 1 32768 -------------------- 32768 2 Warning: overflow -------------------- 32768 127 Warning: overflow -------------------- 32768 128 Warning: overflow -------------------- 32768 255 Warning: overflow -------------------- 32768 256 Warning: overflow -------------------- 32768 257 Warning: overflow -------------------- 32768 32767 Warning: overflow -------------------- 32768 32768 Warning: overflow -------------------- 32768 65535 Warning: overflow -------------------- 65535 0 0 -------------------- 65535 1 65535 -------------------- 65535 2 Warning: overflow -------------------- 65535 127 Warning: overflow -------------------- 65535 128 Warning: overflow -------------------- 65535 255 Warning: overflow -------------------- 65535 256 Warning: overflow -------------------- 65535 257 Warning: overflow -------------------- 65535 32767 Warning: overflow -------------------- 65535 32768 Warning: overflow -------------------- 65535 65535 Warning: overflow --------------------