brun -c '(substr (q . "abcdefghijkl") (q . 0x000000000000000000000000000000000000000000000000000000000000000002) (q . 0x0000000000000000000000000000000000000000000000000000000000000005))'
FAIL: substr requires int32 args (with no leading zeros) 0x000000000000000000000000000000000000000000000000000000000000000002
