/* vul.c */

#include <stdio.h>

void
foo(const char *p)
{
  char buf[256];
  int i;

  for (i = 0; i <= sizeof(buf); i++)
    buf[i] = p[i];
}

int
main(int argc, char *argv[])
{

  foo(argv[1]);
}