int lookup (int *COUNT(array.length) array, int index) { return array[index]; } Shouldn't there be an assert(index < array.length) in there too? Looks a

int lookup (int *COUNT(array.length) array, int index) { return array[index]; } Shouldn't there be an assert(index < array.length) in there too? Looks a bit half baked to me otherwise.