private static EnumMap<JavaKind, LocationIdentity> initArrayLocations() {
   EnumMap<JavaKind, LocationIdentity> result = new EnumMap<>(JavaKind.class);
   for (JavaKind kind : JavaKind.values()) {
     result.put(kind, NamedLocationIdentity.mutable("Array: " + kind.getJavaName()));
   }
   return result;
 }