// works for JavaXClassLoader

static int classLoaderPathsCount(Class c) {
  ret classLoaderPathsCount(getClassLoader(c));
}

static int classLoaderPathsCount(ClassLoader cl) {
  ret l(filesFromClassLoader_new(cl));
}