static java.lang.Module javaModule(Class c) {
  ret c?.getModule();
}