diff --git a/html/acsl.html b/html/acsl.html
index 5ffe2036ad9e751038cedf241bf8539f41c2996c..17cc389201cc7d4576efebf3bcd0d9e30ed01a94 100755
--- a/html/acsl.html
+++ b/html/acsl.html
@@ -6,6 +6,22 @@ active: 4
 ---
 
 <h1>ANSI/ISO C Specification Language</h1>
+
+<h2>The C language</h2>
+
+<div class="sidecode">
+<pre>int main () {
+  int x;<sidenote>This is a variable declaration. Amazing!</sidenote><point></point>
+  x = 21;
+  int y;<sidenote>Yet another variable declaration.</sidenote><point></point>
+  y = 21;
+  int z;
+  z = x + y;
+  return z;<sidenote>And this is a function return, and a not so short sidenote. Let's see how this is diplayed on the website.</sidenote><point></point>
+}
+</pre>
+</div>
+
 <h2>Quick description</h2>
 <p>The ANSI/ISO C Specification Langage (ACSL) is a behavioral
 specification language for C programs. The design of ACSL is