diff --git a/examples/echo/echo.c b/examples/echo/echo.c
new file mode 100644
index 0000000..e69de29
diff --git a/examples/echo/echo.ml b/examples/echo/echo.ml
new file mode 100644
index 0000000..e69de29
diff --git a/examples/echo/echo_effects.ml b/examples/echo/echo_effects.ml
new file mode 100644
index 0000000..e69de29
diff --git a/examples/echo/echo_priv.c b/examples/echo/echo_priv.c
new file mode 100644
index 0000000..e69de29