prototype of source code refactoring zipper thing