let loaded te = LoadedCompound.define te ; UpdatedCompound.define te