Started on a bounds-checking prodecure