static long totalLoadedCodeSize() {
  ret intSumAsLong_positiveOnly(map classSizeInBytes(allClassesLoadedByJavaXClassLoaders()));
}