brun -c '(ash (q . 0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007) (q . 0x0000000000000000000000000000000000000000000000000000000000000001))'
FAIL: ash requires int32 args (with no leading zeros) 0x0000000000000000000000000000000000000000000000000000000000000001
