--- /dev/null
+#include <stdio.h>
+
+void bad_hello(int count)
+{
+ int i = 0;
+hello:
+ printf("Hello, %d!\n", i);
+ i++;
+ if (i < count)
+ goto hello;
+}
+
+int ok_hello(int count)
+{
+ if (count == 0)
+ goto error_zero;
+ if (count < 0)
+ goto error_neg;
+
+ for (int i = 0; i < count; i++)
+ printf("Hello, %d!\n", i);
+
+ return 0;
+
+error_zero:
+ printf("Count is zero!\n");
+ return 1;
+
+error_neg:
+ printf("Count is negative!\n");
+ return 1;
+}
+
+int main()
+{
+ bad_hello(3);
+ printf("\n");
+
+ ok_hello(1);
+ ok_hello(0);
+ ok_hello(-1);
+
+ return 0;
+}