See the tests under bsim6.0.
