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不會放負數