http://i.imgur.com/egkF1R8.jpg
如果a1是 0001 (1 )
然后t2是 1111 (-1)
则在sltu中看到的是 1<15，所以t0=1
beq那行不会进到outofbound
这样子不就没有满足a1大于等于t2时的条件吗 (1 >= -1)？

t2是代表bound值所以不会为负，假如a1是正的超过t2或是a1是负的，t0会设成0， beq就会跳去error。

t2是index的range（阵列长度）所以t2不会放负数