brun '(not (q . 0xffff))'
()
