Split

case L
of nil then L1 = nil L2 = nil
[] H|T then
   local X in
      L1 = H|X
        {Split T L2 X}
      end
end