diff --git a/a/Aeolbonn.aeo b/a/Aeolbonn.aeo
new file mode 100644
index 00000000..1681a83b
--- /dev/null
+++ b/a/Aeolbonn.aeo
@@ -0,0 +1,2 @@
+:Hello, world!
+: