exitrt_equal(from_json("[0,-2,3]"), [])

