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