move back to defnrecord for now