load'16-bit-adder.ijs'
   dtb 3
0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
   signed_value dtb 3
3
   sixteenBitAdder 1 2 0
3
   test
     0      1 0
    _1      1 0
    _1      1 1
 32767      1 0
_32768      1 0
 32767      2 0
_32768     _1 0
 32767  32767 0
_32768 _32768 0
   sba rows test
1 _65536 _65535 32768 32769 32769 _32769 65534 _65536
   test ,. sba rows test
     0      1 0      1
    _1      1 0 _65536
    _1      1 1 _65535
 32767      1 0  32768
_32768      1 0  32769
 32767      2 0  32769
_32768     _1 0 _32769
 32767  32767 0  65534
_32768 _32768 0 _65536
   dtb 32767
0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
   dtb 32768
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
   #dtb 32768
16
   load'16-bit-adder.ijs'
   test ,. sba rows test
     0      1 0      1
    _1      1 0      0
    _1      1 1      1
 32767      1 0 _32768
_32768      1 0 _32767
 32767      2 0 _32767
_32768     _1 0  32767
 32767  32767 0     _2
_32768 _32768 0      0
   load'16-bit-adder.ijs'
   test ,. sixteenBitALU rows test
     0      1 0      1
    _1      1 0 _65536
    _1      1 1     _2
 32767      1 0  32768
_32768      1 0  32769
 32767      2 0  32769
_32768     _1 0 _32769
 32767  32767 0  65534
_32768 _32768 0 _65536
   dtb
(16$2)&#:
   dtb =: (32copy2)bond rep
|ill-formed number
   dtb =: (32 copy 2)bond rep
   dtb 2^32
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
   dtb 2^31
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
   dtb _1+2^31
0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
   btd dtb _1+2^31
2.14748e9
   btd dtb _1+2^31x
2147483647