sO dm_export(O mod, O o) {
  ret export(dm_mod(mod), o);
}