proc compile() {...}{.raises: [IOError, ValueError, Exception, OSError], tags: [
    ReadDirEffect, ReadIOEffect, ExecIOEffect, TimeEffect, ReadEnvEffect,
    RootEffect].}