CmmBuildInfoTables
type CAFSet
type CAFEnv
data TopSRT