bn_check_top(a);
bn_check_top(b);
bn_check_top(a);
bn_check_top(b);
* a + -b a-b
* -a + b b-a
* -a + -b -(a+b)
* a + -b a-b
* -a + b b-a
* -a + -b -(a+b)
bn_check_top(a);
bn_check_top(b);
bn_check_top(a);
bn_check_top(b);
* a - -b a+b
* -a - b -(a+b)
* -a - -b b-a
* a - -b a+b
* -a - b -(a+b)
* -a - -b b-a