proc runCommand(v: Values) {....raises: [KeyError, ValueError, OSError, IOError,
                                      IOError, ValueError, Exception,
                                      ResourceExhaustedError, FSNotifyException], tags: [
    ReadDirEffect, WriteIOEffect, TimeEffect, ReadIOEffect, RootEffect].}