Test that code lengths are actually correct