1 files changed, 10 insertions, 0 deletions
diff --git a/src/std.h b/src/std.h
index ad31747..ae67d0f 100644
--- a/src/std.h
+++ b/src/std.h
@@ -46,6 +46,16 @@ int system(const char*);
         } \
     } while (0)
 
+#ifdef __ducc__
+#define _Noreturn
+#endif
+
+#ifdef __ducc__
+#define INT_CAST
+#else
+#define INT_CAST (int)
+#endif
+
 #include <stdarg.h>
 
 int vfprintf(FILE*, const char*, va_list);