#include <sys/types.h>
#include <unistd.h>
#include <stdio.h>
#include <sys/types.h>
#include <sys/wait.h>
#include <stdlib.h>

char *const child_args[] = {
  "seq",
  "0",
  "10000",
  NULL
} ;

int main(int argc, int *argv[]) {
  execv("/usr/bin/seq", child_args) ;
  fprintf(stderr, "failed!\n") ;
}