(module ArrayLabels)