#include "tc-rand.c"