(module String_zipper)