#include <stdlib.h>

void srandom(unsigned seed)
{
}

/*
XOPEN(400)
*/