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