--- old	2016-03-18 23:19:33.246770663 +0100
+++ new	2016-03-18 23:19:19.333432768 +0100
@@ -3 +2,0 @@ main(void) {
- b
@@ -12 +10,0 @@ main(void) {
- b
@@ -19,0 +18 @@ main(void) {
+ c
@@ -27 +25,0 @@ main(void) {
- b
@@ -39 +36,0 @@ main(void) {
- b