migrate/bidirectional debugging