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