Attached is a scratch implementation of array bound checking. It seems that implementing array bound checking is pretty straightforward. No need to make big change to the framework.<br>