instructions now tracked with bounds