checking sync of U, and run-time testing style in general