1 files changed, 23 insertions, 0 deletions
diff --git a/bad.c b/bad.c
new file mode 100644
index 0000000..7253662
--- /dev/null
+++ b/bad.c
@@ -0,0 +1,23 @@
+/* This may look like nonsense, but really is -*- mode: C -*- */
+
+/* The main thing that this program does. */
+void main() {
+  // Declarations
+  int i;
+  double A[5] = {
+    9.0,
+    2.9,
+    3.E+25,
+    .00007,
+  };
+
+  // Doing some work
+  for (i = 0; i < 5; ++i) {
+     printf("element %d is %g, \tits square is %g\n", /*@\label{printf-start-badly}*/
+            i,
+            A[i],
+            A[i]*A[i]);                               /*@\label{printf-end-badly}*/
+  }
+
+  return 0;                                           /*@\label{main-return-badly}*/
+}