brun -c '(logior (q . -128) (q . 0x7ffff))'
cost = 691
-1
