proc generate(message = ""; init = "") {...}{.raises: [ValueError, OSError, IOError], tags: [
    TimeEffect, ReadDirEffect, WriteDirEffect, WriteIOEffect, ReadIOEffect].}