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