First start on array bounds checking