 int16_t(2) (from_json("[1,-]"), [1,-2,7])

