#define SINGLE @single()
#define NONNULL @nonnull()
+#else // NESC < 130
+
+#ifdef SAFE_TINYOS
+#error Safe TinyOS requires nesC >= 1.3.0
+#endif
+
+#endif // NESC version check
+
#ifdef SAFE_TINYOS
#define TCAST(__type,__expr) ((__type)((void * __DEPUTY_TRUSTED __DEPUTY_COPYTYPE)(__expr)))
#define __DEPUTY_TRUSTED __attribute__((trusted))
#define TCAST(__type,__expr) ((__type)(__expr))
#endif
-#else // NESC < 130
-
-#ifdef SAFE_TINYOS
-#error Safe TinyOS requires nesC >= 1.3.0
-#endif
-
-#endif