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