static SS ai_mappingHelper(S a, S b) {
  ret litcimap(a, b);
}