let node prefix i = o where
  rec x = buffer y
  and y = merge 1(0) 1 o 
  and o = buffer x