diff --git a/README b/README
index 6604deb78b9fd27b8890a3a57dd701c92208c189..dd0228d692f848dfd5c949773a884c89135c3c76 100644
--- a/README
+++ b/README
@@ -43,3 +43,16 @@ and get something like this:
           â•‘ redNodesHaveBlackChildren match.      (35,56) valid               Z3-f+t    0.003 â•‘
           â•‘ size                      postcond.           valid               Z3-f+t    0.012 â•‘
           ╚═══════════════════════════════════════════════════════════════════════════════════╝
+
+Additional information:
+=======================
+Sample output of 
+  ldd lib-bin/lib3.so
+is:
+	linux-gate.so.1 =>  (0x00b13000)
+	libgmp.so.3 => /usr/lib/libgmp.so.3 (0x00110000)
+	libstdc++.so.6 => /usr/lib/i386-linux-gnu/libstdc++.so.6 (0x0016f000)
+	libm.so.6 => /lib/i386-linux-gnu/libm.so.6 (0x0025a000)
+	libgcc_s.so.1 => /lib/i386-linux-gnu/libgcc_s.so.1 (0x00709000)
+	libc.so.6 => /lib/i386-linux-gnu/libc.so.6 (0x004d9000)
+	/lib/ld-linux.so.2 (0x002ab000)