diff --git a/examples/aterm/aterm/default.nix b/examples/aterm/aterm/default.nix
new file mode 100644
index 000000000..8bcf30bb6
--- /dev/null
+++ b/examples/aterm/aterm/default.nix
@@ -0,0 +1,30 @@
+rec {
+
+  inherit (import ../../../lib) compileC makeLibrary;
+
+  sources = [
+    ./afun.c
+    ./aterm.c
+    ./bafio.c
+    ./byteio.c
+    ./gc.c
+    ./hash.c
+    ./list.c
+    ./make.c
+    ./md5c.c
+    ./memory.c
+    ./tafio.c
+    ./version.c
+  ];
+
+  compile = fn: compileC {
+    main = fn;
+    localIncludes = "auto";
+  };
+
+  libATerm = makeLibrary {
+    libraryName = "ATerm";
+    objects = map {function = compile; list = sources;};
+  };
+
+}
diff --git a/examples/aterm/default.nix b/examples/aterm/default.nix
new file mode 100644
index 000000000..edaac40aa
--- /dev/null
+++ b/examples/aterm/default.nix
@@ -0,0 +1 @@
+import test/default.nix
\ No newline at end of file
diff --git a/examples/aterm/test/default.nix b/examples/aterm/test/default.nix
new file mode 100644
index 000000000..1b96f7a94
--- /dev/null
+++ b/examples/aterm/test/default.nix
@@ -0,0 +1,16 @@
+let {
+
+  inherit (import ../../../lib) compileC link;
+
+  inherit (import ../aterm) libATerm;
+
+  compile = fn: compileC {
+    main = fn;
+    localIncludes = "auto";
+    cFlags = "-I../aterm";
+  };
+
+  fib = link {objects = compile ./fib.c; libraries = libATerm;};
+
+  body = [fib];
+}
diff --git a/examples/default.nix b/examples/default.nix
index cbeaa8bf9..8b5b8bca5 100644
--- a/examples/default.nix
+++ b/examples/default.nix
@@ -1,4 +1,6 @@
 [ (import ./trivial)
   (import ./simple-header)
   (import ./not-so-simple-header)
+  (import ./not-so-simple-header-auto)
+  (import ./aterm)
 ]
\ No newline at end of file
diff --git a/examples/not-so-simple-header-auto/default.nix b/examples/not-so-simple-header-auto/default.nix
index 5843a985f..9e84b0c28 100644
--- a/examples/not-so-simple-header-auto/default.nix
+++ b/examples/not-so-simple-header-auto/default.nix
@@ -4,7 +4,7 @@ let {
 
   hello = link {programName = "hello"; objects = compileC {
     main = ./foo/hello.c;
-    localIncludes = import (findIncludes {main = toString ./foo/hello.c;});
+    localIncludes = "auto";
   };};
 
   body = [hello];