arrays - ct bound check for all-int case; cleanup; some error testing