*** old	2016-03-18 23:20:46.950128155 +0100
--- new	2016-03-18 23:20:45.210127585 +0100
***************
*** 1,3 ****
! int
! main(void) {
!  b
--- 1,2 ----
! void
! kmain(void) {
*************** main(void) {
*** 12 ****
-  b
--- 10 ----
*************** main(void) {
*** 19 ****
--- 18 ----
+  c
*************** main(void) {
*** 27 ****
-  b
--- 25 ----
*************** main(void) {
*** 39 ****
-  b
--- 36 ----