static <A> Map<A> persistentHashMapFromProgram(S progID, S name) {
  PersistentLister l = persistentListerReadOnly(progID);
  ret l.hashMaps.get(name);
}