brun -c '(substr (q . "abcdefghijkl") 2 5)' '(4294967297 3)'
FAIL: substr requires int32 args (with no leading zeros) 0x0100000001
