In this section I provide three extended examples of file systems designed using FiST, each progressively more complex than the previous. The first is Crossfs, a stateless file system described in Appendix sec-appendix-typical-stateless-crossfs. The second is Gzipfs, an in-core file system described in Appendix sec-appendix-typical-in-core-gzipfs. The third is Replicfs, a persistent file system described in Appendix sec-appendix-typical-persistent-replicfs. The keen reader would notice that complicated compilation is not necessary for converting FiST inputs to working C code, only sophisticated, yet straightforward translation.