Symbol: RETURN_BOUNDED_POINTER