proc generateOverview() {....raises: [OSError, IOError, StoreError, WalError,
                                   Exception, KeyError, CatchableError], tags: [
    WriteDirEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, RootEffect,
    TimeEffect], forbids: [].}