init (Nil)         = Nil
init (Cons(a,Nil)) = Nil
init (Cons(a,Cons(b,x))) = Cons(a,initWork(b,x))
initWork(a,Nil)       = Nil
initWork(a,Cons(b,x)) = Cons(a,initWork(b,x))