TCP is located in:
tcp/src/POSIX/TCP.m3
tcp/src/WIN32/TCP.m3