toJSON(get(list, i64))
