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