swap encode and decode in 7.3.12, close #517