#define __DEPUTY_BOUND(__lo,__hi)
#define __DEPUTY_COUNT(__n)
#define __DEPUTY_SINGLE(__n)
-#define __DEPUTY_TRUSTED_CAST(__type,__expr)
+#define __DEPUTY_TRUSTED_CAST(__type,__expr) ((__type)(__expr))
-#define TC(__type,__expr)
+#define TC(__type,__expr) __DEPUTY_TRUSTED_CAST(__type,__expr)
#define __DEPUTY_NONNULL
#define __DEPUTY_TRUSTED
struct @bound @deputy_scope() @macro("__DEPUTY_BOUND") { void *lo, *hi; };
struct @count @deputy_scope() @macro("__DEPUTY_COUNT") { int n; };
struct @single @deputy_scope() @macro("__DEPUTY_SINGLE") { };
+struct @nonnull @deputy_scope() @macro("__DEPUTY_NONNULL") { };