#include "stdafx.h"
#include "stdio.h"
#undef __analysis_assume
#include <CodeAnalysis\SourceAnnotations.h>

#define LEN 200



void zero(int* buf,                                                   
          int len){
  int i;
  for(i = 0; i <= len; i)  buf[i] = 0;
}

 int* wrap(
               int* buf,                                                        
               int len) {
   int* buf2 = buf;
   int len2 = len-1;
   zero(buf2, len2);
   return buf;
}


void work() {
  int elements[LEN];
  wrap(elements, 200);
}