toJSON(one(array, i32 < #))
