diff --git a/builtins/target-neon-16.ll b/builtins/target-neon-16.ll
index d73b0a50..47c1c0e0 100644
--- a/builtins/target-neon-16.ll
+++ b/builtins/target-neon-16.ll
@@ -524,3 +524,4 @@ rcpd_decl()
 
 transcendetals_decl()
 trigonometry_decl()
+saturation_arithmetic()
diff --git a/builtins/target-neon-32.ll b/builtins/target-neon-32.ll
index a8999269..8c362568 100644
--- a/builtins/target-neon-32.ll
+++ b/builtins/target-neon-32.ll
@@ -494,3 +494,4 @@ rcpd_decl()
 
 transcendetals_decl()
 trigonometry_decl()
+saturation_arithmetic()
diff --git a/builtins/target-neon-8.ll b/builtins/target-neon-8.ll
index 0c1edf8c..cadfbbca 100644
--- a/builtins/target-neon-8.ll
+++ b/builtins/target-neon-8.ll
@@ -590,3 +590,4 @@ rcpd_decl()
 
 transcendetals_decl()
 trigonometry_decl()
+saturation_arithmetic()
diff --git a/examples/timing.h b/examples/timing.h
index ccf1a8be..32448cbb 100644
--- a/examples/timing.h
+++ b/examples/timing.h
@@ -54,6 +54,19 @@ __inline__ uint64_t rdtsc() {
   return (1000000ull * tv.tv_sec + tv.tv_usec) * 1000ull;
 }
 
+#include <sys/time.h>
+static inline double rtc(void)
+{
+  struct timeval Tvalue;
+  double etime;
+  struct timezone dummy;
+
+  gettimeofday(&Tvalue,&dummy);
+  etime =  (double) Tvalue.tv_sec +
+    1.e-6*((double) Tvalue.tv_usec);
+  return etime;
+}
+
 #else // __arm__
 
 #ifdef WIN32