module notify [system] {
  header "notify.h"
  export *

  module notify_keys {
    header "notify_keys.h"
    export *
  }
}