proc main() {...}{.raises: [IOError, ValueError, Exception, KeyError],
            tags: [ReadIOEffect, WriteIOEffect, RootEffect].}