brun -d '(q . -128)'
8180
