text: // RUN: test.sh -e -t %t %s silly
  //
  // TEST: argv-001
  //
  // Description:
  //  Test that array bounds checking works on argv strings
  //
  
  #include <stdio.h>
  #include <stdlib.h>
  #include <string.h>
  
  int
  main (int argc, char ** argv) {
    int index = 0;
    for (index = 0; index < strlen (argv[1]) + 2; ++index) {
      printf ("%c", argv[1][index]);
    }
  
    return 0;
  }
  
  