#include <stddef.h>
#include <ctype.h>
+/* TEMPORARY: include the Safe TinyOS macros so that annotations get
+ * defined away for non-safe users */
+#include "../lib/safe/include/annots_stage1.h"
+
typedef uint8_t bool;
enum { FALSE = 0, TRUE = 1 };
transfer in interfaces. See TEP 3 for more discussion. */
#define PASS
+#ifdef NESC
struct @atmostonce { };
struct @atleastonce { };
struct @exactlyonce { };
+#endif
+
+/* This platform_bootstrap macro exists in accordance with TEP
+ 107. A platform may override this through a platform.h file. */
+#include <platform.h>
+#ifndef platform_bootstrap
+#define platform_bootstrap() {}
+#endif
#ifndef TOSSIM
#define dbg(s, ...)
#define dbg_clear(s, ...)
#define dbgerror_clear(s, ...)
#endif
+