static <A, B> Map<A, B> persistentHashMapFromOtherProgram(S progID, S name) {
  ret persistentHashMapFromProgram(progID, name);
}