#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. */