"refresh_braid", "init_braid", (char *) NULL, &braid_opts,
1000, 15, 100, 1, 64, 1.0, "",
"Shows random braids and knots", 0, NULL};
"refresh_braid", "init_braid", (char *) NULL, &braid_opts,
1000, 15, 100, 1, 64, 1.0, "",
"Shows random braids and knots", 0, NULL};