Add basics bounds checking framework