diff --git a/src/lib/system/darwin/clang/x86_64/SYSTEM.h b/src/lib/system/darwin/clang/x86_64/SYSTEM.h
index db32127b..71ec724f 100644
--- a/src/lib/system/darwin/clang/x86_64/SYSTEM.h
+++ b/src/lib/system/darwin/clang/x86_64/SYSTEM.h
@@ -12,6 +12,7 @@ uses double # as concatenation operator
 */
 
 #include <alloca.h>
+#include <stdint.h> /* for type sizes -- noch */
 //#include <string.h>
 
 extern void *memcpy(void *dest, const void *src, unsigned long n);
@@ -52,6 +53,10 @@ typedef void *SYSTEM_PTR;
 //#define *SYSTEM_PTR void
 //typedef unsigned char SYSTEM_BYTE;
 #define SYSTEM_BYTE unsigned char
+typedef int8_t SYSTEM_INT8;
+typedef int16_t SYSTEM_INT16;
+typedef int32_t SYSTEM_INT32;
+typedef int64_t SYSTEM_INT64;
 
 /* runtime system routines */
 extern long SYSTEM_DIV();
diff --git a/src/lib/system/freebsd/clang/x86_64/SYSTEM.h b/src/lib/system/freebsd/clang/x86_64/SYSTEM.h
index 4d4b47c5..90bdadd4 100644
--- a/src/lib/system/freebsd/clang/x86_64/SYSTEM.h
+++ b/src/lib/system/freebsd/clang/x86_64/SYSTEM.h
@@ -12,6 +12,7 @@ uses double # as concatenation operator
 */
 #include <stdlib.h>
 //#include <alloca.h>
+#include <stdint.h> /* for type sizes -- noch */
 //#include <string.h>
 
 extern void *memcpy(void *dest, const void *src, unsigned long n);
@@ -52,6 +53,10 @@ typedef void *SYSTEM_PTR;
 //#define *SYSTEM_PTR void
 //typedef unsigned char SYSTEM_BYTE;
 #define SYSTEM_BYTE unsigned char
+typedef int8_t SYSTEM_INT8;
+typedef int16_t SYSTEM_INT16;
+typedef int32_t SYSTEM_INT32;
+typedef int64_t SYSTEM_INT64;
 
 /* runtime system routines */
 extern long SYSTEM_DIV();
diff --git a/src/lib/system/linux/clang/armv6j_hardfp/SYSTEM.h b/src/lib/system/linux/clang/armv6j_hardfp/SYSTEM.h
index 719a6d18..ea9ae5d6 100644
--- a/src/lib/system/linux/clang/armv6j_hardfp/SYSTEM.h
+++ b/src/lib/system/linux/clang/armv6j_hardfp/SYSTEM.h
@@ -12,6 +12,7 @@ uses double # as concatenation operator
 */
 
 #include <alloca.h>
+#include <stdint.h> /* for type sizes -- noch */
 
 //extern void *memcpy(void *dest, const void *src, long n);
 extern void *memcpy(void *dest, const void *src, size_t n);
@@ -37,6 +38,10 @@ typedef double LONGREAL;
 typedef unsigned long SET;
 typedef void *SYSTEM_PTR;
 typedef unsigned char SYSTEM_BYTE;
+typedef int8_t SYSTEM_INT8;
+typedef int16_t SYSTEM_INT16;
+typedef int32_t SYSTEM_INT32;
+typedef int64_t SYSTEM_INT64;
 
 /* runtime system routines */
 extern long SYSTEM_DIV();
diff --git a/src/lib/system/linux/clang/powerpc/SYSTEM.h b/src/lib/system/linux/clang/powerpc/SYSTEM.h
index 719a6d18..ea9ae5d6 100644
--- a/src/lib/system/linux/clang/powerpc/SYSTEM.h
+++ b/src/lib/system/linux/clang/powerpc/SYSTEM.h
@@ -12,6 +12,7 @@ uses double # as concatenation operator
 */
 
 #include <alloca.h>
+#include <stdint.h> /* for type sizes -- noch */
 
 //extern void *memcpy(void *dest, const void *src, long n);
 extern void *memcpy(void *dest, const void *src, size_t n);
@@ -37,6 +38,10 @@ typedef double LONGREAL;
 typedef unsigned long SET;
 typedef void *SYSTEM_PTR;
 typedef unsigned char SYSTEM_BYTE;
+typedef int8_t SYSTEM_INT8;
+typedef int16_t SYSTEM_INT16;
+typedef int32_t SYSTEM_INT32;
+typedef int64_t SYSTEM_INT64;
 
 /* runtime system routines */
 extern long SYSTEM_DIV();
diff --git a/src/lib/system/linux/clang/x86/SYSTEM.h b/src/lib/system/linux/clang/x86/SYSTEM.h
index 719a6d18..ea9ae5d6 100644
--- a/src/lib/system/linux/clang/x86/SYSTEM.h
+++ b/src/lib/system/linux/clang/x86/SYSTEM.h
@@ -12,6 +12,7 @@ uses double # as concatenation operator
 */
 
 #include <alloca.h>
+#include <stdint.h> /* for type sizes -- noch */
 
 //extern void *memcpy(void *dest, const void *src, long n);
 extern void *memcpy(void *dest, const void *src, size_t n);
@@ -37,6 +38,10 @@ typedef double LONGREAL;
 typedef unsigned long SET;
 typedef void *SYSTEM_PTR;
 typedef unsigned char SYSTEM_BYTE;
+typedef int8_t SYSTEM_INT8;
+typedef int16_t SYSTEM_INT16;
+typedef int32_t SYSTEM_INT32;
+typedef int64_t SYSTEM_INT64;
 
 /* runtime system routines */
 extern long SYSTEM_DIV();
diff --git a/src/lib/system/linux/clang/x86_64/SYSTEM.h b/src/lib/system/linux/clang/x86_64/SYSTEM.h
index c0cd257a..2c8e71d0 100644
--- a/src/lib/system/linux/clang/x86_64/SYSTEM.h
+++ b/src/lib/system/linux/clang/x86_64/SYSTEM.h
@@ -12,6 +12,7 @@ uses double # as concatenation operator
 */
 
 #include <alloca.h>
+#include <stdint.h> /* for type sizes -- noch */
 
 extern void *memcpy(void *dest, const void *src, unsigned long n);
 extern void *malloc(unsigned long size);
@@ -51,6 +52,10 @@ typedef void *SYSTEM_PTR;
 //#define *SYSTEM_PTR void
 //typedef unsigned char SYSTEM_BYTE;
 #define SYSTEM_BYTE unsigned char
+typedef int8_t SYSTEM_INT8;
+typedef int16_t SYSTEM_INT16;
+typedef int32_t SYSTEM_INT32;
+typedef int64_t SYSTEM_INT64;
 
 /* runtime system routines */
 extern long SYSTEM_DIV();
diff --git a/src/lib/system/linux/gcc/armv6j_hardfp/SYSTEM.h b/src/lib/system/linux/gcc/armv6j_hardfp/SYSTEM.h
index 719a6d18..ea9ae5d6 100644
--- a/src/lib/system/linux/gcc/armv6j_hardfp/SYSTEM.h
+++ b/src/lib/system/linux/gcc/armv6j_hardfp/SYSTEM.h
@@ -12,6 +12,7 @@ uses double # as concatenation operator
 */
 
 #include <alloca.h>
+#include <stdint.h> /* for type sizes -- noch */
 
 //extern void *memcpy(void *dest, const void *src, long n);
 extern void *memcpy(void *dest, const void *src, size_t n);
@@ -37,6 +38,10 @@ typedef double LONGREAL;
 typedef unsigned long SET;
 typedef void *SYSTEM_PTR;
 typedef unsigned char SYSTEM_BYTE;
+typedef int8_t SYSTEM_INT8;
+typedef int16_t SYSTEM_INT16;
+typedef int32_t SYSTEM_INT32;
+typedef int64_t SYSTEM_INT64;
 
 /* runtime system routines */
 extern long SYSTEM_DIV();
diff --git a/src/lib/system/linux/gcc/powerpc/SYSTEM.h b/src/lib/system/linux/gcc/powerpc/SYSTEM.h
index 719a6d18..ea9ae5d6 100644
--- a/src/lib/system/linux/gcc/powerpc/SYSTEM.h
+++ b/src/lib/system/linux/gcc/powerpc/SYSTEM.h
@@ -12,6 +12,7 @@ uses double # as concatenation operator
 */
 
 #include <alloca.h>
+#include <stdint.h> /* for type sizes -- noch */
 
 //extern void *memcpy(void *dest, const void *src, long n);
 extern void *memcpy(void *dest, const void *src, size_t n);
@@ -37,6 +38,10 @@ typedef double LONGREAL;
 typedef unsigned long SET;
 typedef void *SYSTEM_PTR;
 typedef unsigned char SYSTEM_BYTE;
+typedef int8_t SYSTEM_INT8;
+typedef int16_t SYSTEM_INT16;
+typedef int32_t SYSTEM_INT32;
+typedef int64_t SYSTEM_INT64;
 
 /* runtime system routines */
 extern long SYSTEM_DIV();
diff --git a/src/lib/system/linux/gcc/x86/SYSTEM.h b/src/lib/system/linux/gcc/x86/SYSTEM.h
index 719a6d18..ea9ae5d6 100644
--- a/src/lib/system/linux/gcc/x86/SYSTEM.h
+++ b/src/lib/system/linux/gcc/x86/SYSTEM.h
@@ -12,6 +12,7 @@ uses double # as concatenation operator
 */
 
 #include <alloca.h>
+#include <stdint.h> /* for type sizes -- noch */
 
 //extern void *memcpy(void *dest, const void *src, long n);
 extern void *memcpy(void *dest, const void *src, size_t n);
@@ -37,6 +38,10 @@ typedef double LONGREAL;
 typedef unsigned long SET;
 typedef void *SYSTEM_PTR;
 typedef unsigned char SYSTEM_BYTE;
+typedef int8_t SYSTEM_INT8;
+typedef int16_t SYSTEM_INT16;
+typedef int32_t SYSTEM_INT32;
+typedef int64_t SYSTEM_INT64;
 
 /* runtime system routines */
 extern long SYSTEM_DIV();
diff --git a/src/lib/system/linux/gcc/x86_64/SYSTEM.h b/src/lib/system/linux/gcc/x86_64/SYSTEM.h
index bda47b9d..2c8e71d0 100644
--- a/src/lib/system/linux/gcc/x86_64/SYSTEM.h
+++ b/src/lib/system/linux/gcc/x86_64/SYSTEM.h
@@ -12,7 +12,8 @@ uses double # as concatenation operator
 */
 
 #include <alloca.h>
-#include <stdint.h>
+#include <stdint.h> /* for type sizes -- noch */
+
 extern void *memcpy(void *dest, const void *src, unsigned long n);
 extern void *malloc(unsigned long size);
 extern void exit(int status);
@@ -51,10 +52,11 @@ typedef void *SYSTEM_PTR;
 //#define *SYSTEM_PTR void
 //typedef unsigned char SYSTEM_BYTE;
 #define SYSTEM_BYTE unsigned char
-#define SYSTEM_INT8 int8_t
-#define SYSTEM_INT16 int16_t
-#define SYSTEM_INT32 int32_t
-#define SYSTEM_INT64 int64_t
+typedef int8_t SYSTEM_INT8;
+typedef int16_t SYSTEM_INT16;
+typedef int32_t SYSTEM_INT32;
+typedef int64_t SYSTEM_INT64;
+
 /* runtime system routines */
 extern long SYSTEM_DIV();
 extern long SYSTEM_MOD();
diff --git a/voc b/voc
index 70f95b7f..45b2d272 100755
Binary files a/voc and b/voc differ
diff --git a/vocstatic.linux.gcc.armv6j_hardfp b/vocstatic.linux.gcc.armv6j_hardfp
index 298e0f0f..f7898249 100755
Binary files a/vocstatic.linux.gcc.armv6j_hardfp and b/vocstatic.linux.gcc.armv6j_hardfp differ
diff --git a/vocstatic.linux.gcc.x86 b/vocstatic.linux.gcc.x86
index 4bacfbff..a823b7bd 100755
Binary files a/vocstatic.linux.gcc.x86 and b/vocstatic.linux.gcc.x86 differ
diff --git a/vocstatic.linux.gcc.x86_64 b/vocstatic.linux.gcc.x86_64
index 7ce73aa1..45b2d272 100755
Binary files a/vocstatic.linux.gcc.x86_64 and b/vocstatic.linux.gcc.x86_64 differ