proc astCommand(v: Values) {....raises: [KeyError, IOError, ValueError, Exception,
                                      ValueError, IOError, EOFError], tags: [
    WriteIOEffect, ReadIOEffect, RootEffect, ReadDirEffect, ReadEnvEffect],
                             forbids: [].}

proc cCommand(v: Values) {....raises: [KeyError, IOError, ValueError, OSError,
                                    Exception, CodeGenError,
                                    ResourceExhaustedError], tags: [
    WriteIOEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect, WriteDirEffect,
    TimeEffect, RootEffect], forbids: [].}