module DefaultArguments {
  header "default-arguments.h"
  export *
}

module CustomStringBuiltins {
  header "custom-string-builtins.h"
  export *
}