5 files changed, 6 insertions, 6 deletions
diff --git a/runtime/Intrinsic/memcpy.c b/runtime/Intrinsic/memcpy.c
index 14b98ce6..7f7f133d 100644
--- a/runtime/Intrinsic/memcpy.c
+++ b/runtime/Intrinsic/memcpy.c
@@ -9,7 +9,7 @@
 
 #include <stdlib.h>
 
-void *memcpy(void *destaddr, void const *srcaddr, unsigned int len) {
+void *memcpy(void *destaddr, void const *srcaddr, size_t len) {
   char *dest = destaddr;
   char const *src = srcaddr;
 
diff --git a/runtime/Intrinsic/mempcpy.c b/runtime/Intrinsic/mempcpy.c
index 6327e748..31e142d9 100644
--- a/runtime/Intrinsic/mempcpy.c
+++ b/runtime/Intrinsic/mempcpy.c
@@ -9,7 +9,7 @@
 
 #include <stdlib.h>
 
-void *mempcpy(void *destaddr, void const *srcaddr, unsigned int len) {
+void *mempcpy(void *destaddr, void const *srcaddr, size_t len) {
   char *dest = destaddr;
   char const *src = srcaddr;
 
diff --git a/runtime/POSIX/misc.c b/runtime/POSIX/misc.c
index d0e88290..7335dee2 100644
--- a/runtime/POSIX/misc.c
+++ b/runtime/POSIX/misc.c
@@ -36,7 +36,7 @@ void __klee_init_environ(unsigned nvars,
   __klee_sym_env_var_size = var_size;  
 }
 
-static unsigned __strlen(const char *s) {
+static size_t __strlen(const char *s) {
   const char *s2 = s;
   while (*s2) ++s2;
   return s2-s;
@@ -54,7 +54,7 @@ char *getenv(const char *name) {
   if (res) {
     return klee_range(0, 2, name) ? res : 0;
   } else {
-    unsigned i, len = __strlen(name);
+    size_t i, len = __strlen(name);
 
     if (len>=MAX_SYM_ENV_SIZE) {
       /* Don't deal with strings to large to fit in our name. */
diff --git a/runtime/klee-libc/memcpy.c b/runtime/klee-libc/memcpy.c
index 14b98ce6..7f7f133d 100644
--- a/runtime/klee-libc/memcpy.c
+++ b/runtime/klee-libc/memcpy.c
@@ -9,7 +9,7 @@
 
 #include <stdlib.h>
 
-void *memcpy(void *destaddr, void const *srcaddr, unsigned int len) {
+void *memcpy(void *destaddr, void const *srcaddr, size_t len) {
   char *dest = destaddr;
   char const *src = srcaddr;
 
diff --git a/runtime/klee-libc/mempcpy.c b/runtime/klee-libc/mempcpy.c
index 6327e748..31e142d9 100644
--- a/runtime/klee-libc/mempcpy.c
+++ b/runtime/klee-libc/mempcpy.c
@@ -9,7 +9,7 @@
 
 #include <stdlib.h>
 
-void *mempcpy(void *destaddr, void const *srcaddr, unsigned int len) {
+void *mempcpy(void *destaddr, void const *srcaddr, size_t len) {
   char *dest = destaddr;
   char const *src = srcaddr;