more on defrecords

This should be ok.