brun -d '(q . 32768)'
83008000
