static Cl<File> dm_byteCodePaths(O mod) {
  ClassLoader cl = dm_moduleClassLoader(mod);
  ret filesFromClassLoader_new(cl);
}