bounds_check