brun -d '(q . 32767)'
827fff
