vinum_read
vinum_read(tokens, token, &token[0]); /* start the system */
void vinum_read(int argc, char *argv[], char *arg0[]);