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

#define LEN 200

void zero( _Out_cap_(len) 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;
   zero(buf2, len2);
   return buf;
}

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