brun '(not (q . 128))'
()
