U7.2: factor out take()