1 files changed, 29 insertions, 0 deletions

diff --git a/nacl/okcompilers/lib.c b/nacl/okcompilers/lib.c
new file mode 100644
index 00000000..cf2e3790
--- /dev/null
+++ b/nacl/okcompilers/lib.c
@@ -0,0 +1,29 @@
+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;
+}
+
+int intbytes(void)
+{
+  return sizeof(int);
+}
+
+int longbytes(void)
+{
+  return sizeof(long);
+}