1 2 3 4 5 6 7 8
*** old 2016-03-11 09:37:25.001994752 +0100 --- new 2016-03-11 09:37:43.288668426 +0100 *************** *** 5,6 **** --- 5,7 ---- a + b a