We currently don't have a lot of confidence in the simulation accuracy of TCP. We need to develop some tests, some of which might not initially pass. We expect that we'll ultimately end up wanting to rewrite the TCP simulation code (in Rust).