brun -c '(logxor (q . -128) (q . 0x7ffff))'
cost = 711
0xf8007f
