module other.module {
  exports other.module;
}