Listing 100, 101. Write FigLeaf module.