ArrayLength handles NULL