vinum_replace
void vinum_replace(int argc, char *argv[], char *arg0[]);
void vinum_replace(int argc, char *argv[], char *argv0[]);