Trivial move of defrecord