1 files changed, 10 insertions, 0 deletions
diff --git a/lib/sail.h b/lib/sail.h
index a79ea295..f5ff0eaa 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -8,6 +8,16 @@
 
 #include<time.h>
 
+static inline void *sail_malloc(size_t size)
+{
+  return malloc(size);
+}
+
+static inline void sail_free(void *ptr)
+{
+  free(ptr);
+}
+
 /*
  * Called by the RTS to initialise and clear any library state.
  */