#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;
}

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


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