big commit , explicit bound checking , everywhere