testing and debugging new simex code