brun '(* (q . 128) (q . 128))'
16384
