brun -c '(logand (q . -128) (q . 0x7ffff))'
cost = 711
0x07ff80
