toJSON(list[i32])
