proc model(name: string) {...}{.raises: [ValueError, IOError],
                           tags: [ReadDirEffect, WriteIOEffect].}