Implementations of TCP proxies in different languages and different models