diff --git a/c/builtins.h b/c/builtins.h
new file mode 100644
index 0000000..55d213d
--- /dev/null
+++ b/c/builtins.h
@@ -0,0 +1 @@
+value_t builtin_read_ini_file(value_t *args, uint32_t nargs);