proc header(config: PyConfig) {....raises: [IOError], tags: [WriteIOEffect],
                                forbids: [].}

proc run_file(config: PyConfig): int {....raises: [], tags: [RootEffect,
    WriteIOEffect, ReadDirEffect, ReadIOEffect], forbids: [].}