bounded-vector