framework module RecordDefCopy {
  header "RecordDefCopy.h"
  export *
}