added some TCP constants to sonic.h