Bounded_pointer