ArrayMaps: efforts to make procNum a leaf function