TCP_* is in the reserved namespace for tcp.h; make use of that

[musl] / src / prng / srand48.c

#include <stdlib.h>

void srand48(long seed)
{
        seed48((unsigned short [3]){ 0x330e, seed, seed>>16 });
}