module NewName {
  header "new_name.h"
  export *
}