rand_main
{FT_general, "rand", rand_main, rand_options, NULL, NULL},
extern int rand_main(int argc, char *argv[]);