brun -c '(lsh (q . -7) (q . 100))'
cost = 503
0x0f90000000000000000000000000
