brun '(lsh (q . 128) (q . 128))'
0x008000000000000000000000000000000000
