--- a/src/core/bindings/scan-header.h	Wed Jul 20 16:02:19 2011 +0100
+++ b/src/core/bindings/scan-header.h	Wed Jul 20 16:02:32 2011 +0100
@@ -17,7 +17,7 @@
 static inline void
 __dummy_function_to_force_template_instantiation_v2 ()
 {
-  Time t1, t2, t3;
+  Time t1 = Seconds (1), t2 = Seconds (2), t3 = Seconds (3);
   t1 = t2 + t3;
   t1 = t2 - t3;
   t1 < t2;
@@ -26,6 +26,25 @@
   t1 != t2;
   t1 >= t2;
   t1 > t2;
+
+
+  int64x64_t s1(2), s2(3), s3;
+  s1 = s2 + s3;
+  s1 = s2 - s3;
+  s1 < s2;
+  s1 <= s2;
+  s1 == s2;
+  s1 != s2;
+  s1 >= s2;
+  s1 > s2;
+  
+
+  
+
+  s3 = t1*s1;
+  s3 = t1/s1;
+  s3 = s1*t1;
+  s3 = t1/t2;
 }
 
 }