Hi Paolo, I applied same type and naming to member `backref' of dfastate. And I checked to pass regression tests. Thanks, Norihiro