 +#include "sidewinder.h"
 +
 +void __VERIFIER_assume(int);
++void *memcpy(void *str1, const void *str2, size_t n);
  
  /* NULL check a pointer */
  #define notnull_check( ptr )           do { if ( (ptr) == NULL ) { S2N_ERROR(S2N_ERR_NULL); } } while(0)
 +#define MEMCOPY_COST 2
++
  
  static inline void* trace_memcpy_check(void *restrict to, const void *restrict from, size_t size, const char *debug_str)
  {

--- /Users/dsn/github/s2n/utils/s2n_safety.h	2018-02-09 10:26:05.000000000 -0500
+++ s2n_safety.h	2018-02-09 10:28:30.000000000 -0500
@@ -15,23 +15,23 @@
 
 #pragma once
 

     return memcpy(to, from, size);
 }
 
@@ -39,32 +41,26 @@
  */
 #define memcpy_check( d, s, n )                                             \
   do {                                                                      \
