added support for runtime checking of array index access and for dereferncing pointers, checks for out of bounds, and null respectively