diff --git a/csharp/hello_v0.cs b/csharp/hello_v0.cs
new file mode 100644
index 0000000..ca7be12
--- /dev/null
+++ b/csharp/hello_v0.cs
@@ -0,0 +1,9 @@
+using System;
+namespace Foo{
+    public class Bar{
+        public static int Main() {
+                int i;
+                return 0;
+        }
+    }
+}
\ No newline at end of file
diff --git a/csharp/hello_v1.cs b/csharp/hello_v1.cs
new file mode 100644
index 0000000..cc9f1ab
--- /dev/null
+++ b/csharp/hello_v1.cs
@@ -0,0 +1,8 @@
+using System;
+namespace Foo{
+    public class Bar{
+        public static int Main() {
+                return 0;
+        }
+    }
+}
\ No newline at end of file
diff --git a/csharp/patch_v0.cs b/csharp/patch_v0.cs
new file mode 100644
index 0000000..88256f8
--- /dev/null
+++ b/csharp/patch_v0.cs
@@ -0,0 +1,13 @@
+using System;
+namespace Foo{
+    public class Bar{
+        public static int Main() {
+            int a = 0;
+            int b = 0;
+            if (a > b)
+                return 1;
+            else
+                return 0;
+        }
+    }
+}
\ No newline at end of file
diff --git a/csharp/patch_v1.cs b/csharp/patch_v1.cs
new file mode 100644
index 0000000..e7d0580
--- /dev/null
+++ b/csharp/patch_v1.cs
@@ -0,0 +1,13 @@
+using System;
+namespace Foo{
+    public class Bar{
+        public static int Main() {
+            int a = 0;
+            int b = 0;
+            if (a < b)
+                return 1;
+            else
+                return 0;
+        }
+    }
+}
\ No newline at end of file
diff --git a/csharp/saner_v0.cs b/csharp/saner_v0.cs
new file mode 100644
index 0000000..ee35bb1
--- /dev/null
+++ b/csharp/saner_v0.cs
@@ -0,0 +1,11 @@
+using System;
+namespace Foo{
+    public class Bar{
+        public static void Main() {
+            int y=0, x=1;
+            x = 37;
+            if (y==0)
+                x = 0;
+        }
+    }
+}
\ No newline at end of file
diff --git a/csharp/saner_v1.cs b/csharp/saner_v1.cs
new file mode 100644
index 0000000..e9d8544
--- /dev/null
+++ b/csharp/saner_v1.cs
@@ -0,0 +1,12 @@
+using System;
+namespace Foo{
+    public class Bar{
+        public static void Main() {
+            int y=0, x=1;
+            if (y==0)
+                x = 0;
+            else
+                x = 37;
+        }
+    }
+}
\ No newline at end of file