----------------------------------------------------------------

t_zigzig_zig :: Splay Int
t_zigzig_zig = l
  where
    Node l _ _ = t_zigzig
t_zigzig_zig :: Splay Int
t_zigzig_zig = l
  where
    Node l _ _ = t_zigzig
t_zigzig_zig = l
  where
    Node l _ _ = t_zigzig