assert(length > 0)