brun -c '(lsh (q . 0x00000000000000000000000000000000000000000000000000000000000000000007) (q . 0x000000000000000000000000000000000000000000000000000000000000000000001))'
FAIL: lsh requires int32 args (with no leading zeros) 0x0000000000000000000000000000000000000000000000000000000000000000000001
