module networkext [system] {
  umbrella "."

  export *
  module * { export * }
}