Completed bounds checks