sS mechCIMapGet(S listName, S a) {
  ret mechCIMap(listName).get(a);
}