module libDER [system] {
  umbrella "."

  module * { export * }
}