ReRack, bounds (incomplete) checks put in