randomize
void randomize(void);
randomize();
extern char randomize; /* -x, give first available ship */
char randomize; /* -x, give first available ship */
randomize++;
if (randomize) {
randomize = true;
if (randomize)
if (!randomize) {
static bool randomize;