Full REC roundtripping