Can anyone tell me why lint on 4.2 BSD allows the fol- lowing to pass unscathed: main() { int array[10]; array[10] = 1; } No bounds checking at run time is reasonable, but this... ?