Zipper-module related stuff.