1 files changed, 19 insertions, 0 deletions

diff --git a/nacl/okcompilers/lib.cpp b/nacl/okcompilers/lib.cpp
new file mode 100644
index 00000000..ea956244
--- /dev/null
+++ b/nacl/okcompilers/lib.cpp
@@ -0,0 +1,19 @@
+int not3(int n)
+{
+  return n != 3;
+}
+
+int bytes(int n)
+{
+  return (n + 7) / 8;
+}
+
+long long shr32(long long n)
+{
+  return n >> 32;
+}
+
+double double5(void)
+{
+  return 5.0;
+}