---
Function {
 argument: None,
 arguments: FunctionArguments {
  arguments: [
   FunctionArgument {
    identifier: "pkgs",
    default: None,
   },
   FunctionArgument {
    identifier: "lib",
    default: None,
   },
   FunctionArgument {
    identifier: "config",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: With {
  expression: Variable {
   identifier: "lib",
   position: (2, 6),
  },
  target: LetIn {
   bindings: [
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "cfg",
        position: (5, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "config",
       position: (5, 9),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "programs",
         position: (5, 16),
        },
        Raw {
         content: "proxychains",
         position: (5, 25),
        },
       ],
      },
      default: None,
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "configFile",
        position: (7, 3),
       },
      ],
     },
     String {
      parts: [
       Raw {
        content: "",
        position: (8, 1),
       },
       Expression {
        expression: PropertyAccess {
         expression: Variable {
          identifier: "cfg",
          position: (8, 7),
         },
         attribute_path: AttributePath {
          attributes: [
           Raw {
            content: "chain",
            position: (8, 11),
           },
           Raw {
            content: "type",
            position: (8, 17),
           },
          ],
         },
         default: None,
        },
       },
       Raw {
        content: "_chain\n",
        position: (8, 22),
       },
       Expression {
        expression: FunctionApplication {
         function: Variable {
          identifier: "optionalString",
          position: (9, 7),
         },
         arguments: [
          BinaryOperation {
           operator: EqualTo,
           operands: [
            PropertyAccess {
             expression: Variable {
              identifier: "cfg",
              position: (9, 23),
             },
             attribute_path: AttributePath {
              attributes: [
               Raw {
                content: "chain",
                position: (9, 27),
               },
               Raw {
                content: "type",
                position: (9, 33),
               },
              ],
             },
             default: None,
            },
            String {
             parts: [
              Raw {
               content: "random",
               position: (9, 42),
              },
             ],
            },
           ],
           position: (9, 38),
          },
          String {
           parts: [
            Raw {
             content: "chain_len = ",
             position: (10, 6),
            },
            Expression {
             expression: FunctionApplication {
              function: PropertyAccess {
               expression: Variable {
                identifier: "builtins",
                position: (10, 20),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "toString",
                  position: (10, 29),
                 },
                ],
               },
               default: None,
              },
              arguments: [
               PropertyAccess {
                expression: Variable {
                 identifier: "cfg",
                 position: (10, 38),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "chain",
                   position: (10, 42),
                  },
                  Raw {
                   content: "length",
                   position: (10, 48),
                  },
                 ],
                },
                default: None,
               },
              ],
             },
            },
           ],
          },
         ],
        },
       },
       Raw {
        content: "\n",
        position: (10, 57),
       },
       Expression {
        expression: FunctionApplication {
         function: Variable {
          identifier: "optionalString",
          position: (11, 7),
         },
         arguments: [
          PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (11, 22),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "proxyDNS",
              position: (11, 26),
             },
            ],
           },
           default: None,
          },
          String {
           parts: [
            Raw {
             content: "proxy_dns",
             position: (11, 36),
            },
           ],
          },
         ],
        },
       },
       Raw {
        content: "\n",
        position: (11, 47),
       },
       Expression {
        expression: FunctionApplication {
         function: Variable {
          identifier: "optionalString",
          position: (12, 7),
         },
         arguments: [
          PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (12, 22),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "quietMode",
              position: (12, 26),
             },
            ],
           },
           default: None,
          },
          String {
           parts: [
            Raw {
             content: "quiet_mode",
             position: (12, 37),
            },
           ],
          },
         ],
        },
       },
       Raw {
        content: "\nremote_dns_subnet ",
        position: (12, 49),
       },
       Expression {
        expression: FunctionApplication {
         function: PropertyAccess {
          expression: Variable {
           identifier: "builtins",
           position: (13, 25),
          },
          attribute_path: AttributePath {
           attributes: [
            Raw {
             content: "toString",
             position: (13, 34),
            },
           ],
          },
          default: None,
         },
         arguments: [
          PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (13, 43),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "remoteDNSSubnet",
              position: (13, 47),
             },
            ],
           },
           default: None,
          },
         ],
        },
       },
       Raw {
        content: "\ntcp_read_time_out ",
        position: (13, 63),
       },
       Expression {
        expression: FunctionApplication {
         function: PropertyAccess {
          expression: Variable {
           identifier: "builtins",
           position: (14, 25),
          },
          attribute_path: AttributePath {
           attributes: [
            Raw {
             content: "toString",
             position: (14, 34),
            },
           ],
          },
          default: None,
         },
         arguments: [
          PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (14, 43),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "tcpReadTimeOut",
              position: (14, 47),
             },
            ],
           },
           default: None,
          },
         ],
        },
       },
       Raw {
        content: "\ntcp_connect_time_out ",
        position: (14, 62),
       },
       Expression {
        expression: FunctionApplication {
         function: PropertyAccess {
          expression: Variable {
           identifier: "builtins",
           position: (15, 28),
          },
          attribute_path: AttributePath {
           attributes: [
            Raw {
             content: "toString",
             position: (15, 37),
            },
           ],
          },
          default: None,
         },
         arguments: [
          PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (15, 46),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "tcpConnectTimeOut",
              position: (15, 50),
             },
            ],
           },
           default: None,
          },
         ],
        },
       },
       Raw {
        content: "\nlocalnet ",
        position: (15, 68),
       },
       Expression {
        expression: PropertyAccess {
         expression: Variable {
          identifier: "cfg",
          position: (16, 16),
         },
         attribute_path: AttributePath {
          attributes: [
           Raw {
            content: "localnet",
            position: (16, 20),
           },
          ],
         },
         default: None,
        },
       },
       Raw {
        content: "\n[ProxyList]\n",
        position: (16, 29),
       },
       Expression {
        expression: FunctionApplication {
         function: PropertyAccess {
          expression: Variable {
           identifier: "builtins",
           position: (18, 7),
          },
          attribute_path: AttributePath {
           attributes: [
            Raw {
             content: "concatStringsSep",
             position: (18, 16),
            },
           ],
          },
          default: None,
         },
         arguments: [
          String {
           parts: [
            Raw {
             content: "\n",
             position: (18, 34),
            },
           ],
          },
          FunctionApplication {
           function: PropertyAccess {
            expression: Variable {
             identifier: "lib",
             position: (19, 8),
            },
            attribute_path: AttributePath {
             attributes: [
              Raw {
               content: "mapAttrsToList",
               position: (19, 12),
              },
             ],
            },
            default: None,
           },
           arguments: [
            Function {
             argument: Some(
              "k",
             ),
             arguments: FunctionArguments {
              arguments: [],
              ellipsis: false,
             },
             definition: Function {
              argument: Some(
               "v",
              ),
              arguments: FunctionArguments {
               arguments: [],
               ellipsis: false,
              },
              definition: String {
               parts: [
                Expression {
                 expression: PropertyAccess {
                  expression: Variable {
                   identifier: "v",
                   position: (19, 37),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "type",
                     position: (19, 39),
                    },
                   ],
                  },
                  default: None,
                 },
                },
                Raw {
                 content: " ",
                 position: (19, 44),
                },
                Expression {
                 expression: PropertyAccess {
                  expression: Variable {
                   identifier: "v",
                   position: (19, 47),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "host",
                     position: (19, 49),
                    },
                   ],
                  },
                  default: None,
                 },
                },
                Raw {
                 content: " ",
                 position: (19, 54),
                },
                Expression {
                 expression: FunctionApplication {
                  function: PropertyAccess {
                   expression: Variable {
                    identifier: "builtins",
                    position: (19, 57),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "toString",
                      position: (19, 66),
                     },
                    ],
                   },
                   default: None,
                  },
                  arguments: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "v",
                     position: (19, 75),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "port",
                       position: (19, 77),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                 },
                },
               ],
              },
              position: (19, 31),
             },
             position: (19, 28),
            },
            FunctionApplication {
             function: PropertyAccess {
              expression: Variable {
               identifier: "lib",
               position: (20, 10),
              },
              attribute_path: AttributePath {
               attributes: [
                Raw {
                 content: "filterAttrs",
                 position: (20, 14),
                },
               ],
              },
              default: None,
             },
             arguments: [
              Function {
               argument: Some(
                "k",
               ),
               arguments: FunctionArguments {
                arguments: [],
                ellipsis: false,
               },
               definition: Function {
                argument: Some(
                 "v",
                ),
                arguments: FunctionArguments {
                 arguments: [],
                 ellipsis: false,
                },
                definition: PropertyAccess {
                 expression: Variable {
                  identifier: "v",
                  position: (20, 33),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "enable",
                    position: (20, 35),
                   },
                  ],
                 },
                 default: None,
                },
                position: (20, 30),
               },
               position: (20, 27),
              },
              PropertyAccess {
               expression: Variable {
                identifier: "cfg",
                position: (20, 43),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "proxies",
                  position: (20, 47),
                 },
                ],
               },
               default: None,
              },
             ],
            },
           ],
          },
         ],
        },
       },
       Raw {
        content: "\n",
        position: (20, 57),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "proxyOptions",
        position: (23, 3),
       },
      ],
     },
     Map {
      bindings: [
       KeyValue(
        AttributePath {
         attributes: [
          Raw {
           content: "options",
           position: (24, 5),
          },
         ],
        },
        Map {
         bindings: [
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "enable",
              position: (25, 7),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "mkEnableOption",
             position: (25, 16),
            },
            arguments: [
             String {
              parts: [
               Raw {
                content: "this proxy",
                position: (25, 32),
               },
              ],
             },
            ],
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "type",
              position: (27, 7),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "mkOption",
             position: (27, 14),
            },
            arguments: [
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "type",
                   position: (28, 9),
                  },
                 ],
                },
                FunctionApplication {
                 function: PropertyAccess {
                  expression: Variable {
                   identifier: "types",
                   position: (28, 16),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "enum",
                     position: (28, 22),
                    },
                   ],
                  },
                  default: None,
                 },
                 arguments: [
                  List {
                   elements: [
                    String {
                     parts: [
                      Raw {
                       content: "http",
                       position: (28, 30),
                      },
                     ],
                    },
                    String {
                     parts: [
                      Raw {
                       content: "socks4",
                       position: (28, 37),
                      },
                     ],
                    },
                    String {
                     parts: [
                      Raw {
                       content: "socks5",
                       position: (28, 46),
                      },
                     ],
                    },
                   ],
                   position: (28, 27),
                  },
                 ],
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "description",
                   position: (29, 9),
                  },
                 ],
                },
                String {
                 parts: [
                  Raw {
                   content: "Proxy type.",
                   position: (29, 24),
                  },
                 ],
                },
               ),
              ],
              recursive: false,
              position: (27, 23),
             },
            ],
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "host",
              position: (32, 7),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "mkOption",
             position: (32, 14),
            },
            arguments: [
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "type",
                   position: (33, 9),
                  },
                 ],
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "types",
                  position: (33, 16),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "str",
                    position: (33, 22),
                   },
                  ],
                 },
                 default: None,
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "description",
                   position: (34, 9),
                  },
                 ],
                },
                String {
                 parts: [
                  Raw {
                   content: "Proxy host or IP address.",
                   position: (34, 24),
                  },
                 ],
                },
               ),
              ],
              recursive: false,
              position: (32, 23),
             },
            ],
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "port",
              position: (37, 7),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "mkOption",
             position: (37, 14),
            },
            arguments: [
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "type",
                   position: (38, 9),
                  },
                 ],
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "types",
                  position: (38, 16),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "port",
                    position: (38, 22),
                   },
                  ],
                 },
                 default: None,
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "description",
                   position: (39, 9),
                  },
                 ],
                },
                String {
                 parts: [
                  Raw {
                   content: "Proxy port",
                   position: (39, 24),
                  },
                 ],
                },
               ),
              ],
              recursive: false,
              position: (37, 23),
             },
            ],
           },
          ),
         ],
         recursive: false,
         position: (24, 15),
        },
       ),
      ],
      recursive: false,
      position: (23, 18),
     },
    ),
   ],
   target: Map {
    bindings: [
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "options",
         position: (48, 3),
        },
       ],
      },
      Map {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "programs",
            position: (50, 5),
           },
           Raw {
            content: "proxychains",
            position: (50, 14),
           },
          ],
         },
         Map {
          bindings: [
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "enable",
               position: (52, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkEnableOption",
              position: (52, 16),
             },
             arguments: [
              String {
               parts: [
                Raw {
                 content: "installing proxychains configuration",
                 position: (52, 32),
                },
               ],
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "chain",
               position: (54, 7),
              },
             ],
            },
            Map {
             bindings: [
              KeyValue(
               AttributePath {
                attributes: [
                 Raw {
                  content: "type",
                  position: (55, 9),
                 },
                ],
               },
               FunctionApplication {
                function: Variable {
                 identifier: "mkOption",
                 position: (55, 16),
                },
                arguments: [
                 Map {
                  bindings: [
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "type",
                       position: (56, 11),
                      },
                     ],
                    },
                    FunctionApplication {
                     function: PropertyAccess {
                      expression: Variable {
                       identifier: "types",
                       position: (56, 18),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "enum",
                         position: (56, 24),
                        },
                       ],
                      },
                      default: None,
                     },
                     arguments: [
                      List {
                       elements: [
                        String {
                         parts: [
                          Raw {
                           content: "dynamic",
                           position: (56, 32),
                          },
                         ],
                        },
                        String {
                         parts: [
                          Raw {
                           content: "strict",
                           position: (56, 42),
                          },
                         ],
                        },
                        String {
                         parts: [
                          Raw {
                           content: "random",
                           position: (56, 51),
                          },
                         ],
                        },
                       ],
                       position: (56, 29),
                      },
                     ],
                    },
                   ),
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "default",
                       position: (57, 11),
                      },
                     ],
                    },
                    String {
                     parts: [
                      Raw {
                       content: "strict",
                       position: (57, 22),
                      },
                     ],
                    },
                   ),
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "description",
                       position: (58, 11),
                      },
                     ],
                    },
                    String {
                     parts: [
                      Raw {
                       content: "<literal>dynamic</literal> - Each connection will be done via chained proxies\nall proxies chained in the order as they appear in the list\nat least one proxy must be online to play in chain\n(dead proxies are skipped)\notherwise <literal>EINTR</literal> is returned to the app.\n\n<literal>strict</literal> - Each connection will be done via chained proxies\nall proxies chained in the order as they appear in the list\nall proxies must be online to play in chain\notherwise <literal>EINTR</literal> is returned to the app.\n\n<literal>random</literal> - Each connection will be done via random proxy\n(or proxy chain, see <option>programs.proxychains.chain.length</option>) from the list.\n",
                       position: (59, 1),
                      },
                     ],
                    },
                   ),
                  ],
                  recursive: false,
                  position: (55, 25),
                 },
                ],
               },
              ),
              KeyValue(
               AttributePath {
                attributes: [
                 Raw {
                  content: "length",
                  position: (74, 9),
                 },
                ],
               },
               FunctionApplication {
                function: Variable {
                 identifier: "mkOption",
                 position: (74, 18),
                },
                arguments: [
                 Map {
                  bindings: [
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "type",
                       position: (75, 11),
                      },
                     ],
                    },
                    FunctionApplication {
                     function: PropertyAccess {
                      expression: Variable {
                       identifier: "types",
                       position: (75, 18),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "nullOr",
                         position: (75, 24),
                        },
                       ],
                      },
                      default: None,
                     },
                     arguments: [
                      PropertyAccess {
                       expression: Variable {
                        identifier: "types",
                        position: (75, 31),
                       },
                       attribute_path: AttributePath {
                        attributes: [
                         Raw {
                          content: "int",
                          position: (75, 37),
                         },
                        ],
                       },
                       default: None,
                      },
                     ],
                    },
                   ),
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "default",
                       position: (76, 11),
                      },
                     ],
                    },
                    Variable {
                     identifier: "null",
                     position: (76, 21),
                    },
                   ),
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "description",
                       position: (77, 11),
                      },
                     ],
                    },
                    String {
                     parts: [
                      Raw {
                       content: "Chain length for random chain.\n",
                       position: (78, 1),
                      },
                     ],
                    },
                   ),
                  ],
                  recursive: false,
                  position: (74, 27),
                 },
                ],
               },
              ),
             ],
             recursive: false,
             position: (54, 15),
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "proxyDNS",
               position: (83, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (83, 18),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (84, 9),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "types",
                   position: (84, 16),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "bool",
                     position: (84, 22),
                    },
                   ],
                  },
                  default: None,
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (85, 9),
                   },
                  ],
                 },
                 Variable {
                  identifier: "true",
                  position: (85, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (86, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Proxy DNS requests - no leak for DNS data.",
                    position: (86, 24),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (83, 27),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "quietMode",
               position: (89, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkEnableOption",
              position: (89, 19),
             },
             arguments: [
              String {
               parts: [
                Raw {
                 content: "Quiet mode (no output from the library).",
                 position: (89, 35),
                },
               ],
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "remoteDNSSubnet",
               position: (91, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (91, 25),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (92, 9),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: PropertyAccess {
                   expression: Variable {
                    identifier: "types",
                    position: (92, 16),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "enum",
                      position: (92, 22),
                     },
                    ],
                   },
                   default: None,
                  },
                  arguments: [
                   List {
                    elements: [
                     Int {
                      value: 10,
                      position: (92, 29),
                     },
                     Int {
                      value: 127,
                      position: (92, 32),
                     },
                     Int {
                      value: 224,
                      position: (92, 36),
                     },
                    ],
                    position: (92, 27),
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (93, 9),
                   },
                  ],
                 },
                 Int {
                  value: 224,
                  position: (93, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (94, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Set the class A subnet number to use for the internal remote DNS mapping, uses the reserved 224.x.x.x range by default.\n",
                    position: (95, 1),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (91, 34),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "tcpReadTimeOut",
               position: (99, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (99, 24),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (100, 9),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "types",
                   position: (100, 16),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "int",
                     position: (100, 22),
                    },
                   ],
                  },
                  default: None,
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (101, 9),
                   },
                  ],
                 },
                 Int {
                  value: 15000,
                  position: (101, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (102, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Connection read time-out in milliseconds.",
                    position: (102, 24),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (99, 33),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "tcpConnectTimeOut",
               position: (105, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (105, 27),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (106, 9),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "types",
                   position: (106, 16),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "int",
                     position: (106, 22),
                    },
                   ],
                  },
                  default: None,
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (107, 9),
                   },
                  ],
                 },
                 Int {
                  value: 8000,
                  position: (107, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (108, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Connection time-out in milliseconds.",
                    position: (108, 24),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (105, 36),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "localnet",
               position: (111, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (111, 18),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (112, 9),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "types",
                   position: (112, 16),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "str",
                     position: (112, 22),
                    },
                   ],
                  },
                  default: None,
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (113, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "127.0.0.0/255.0.0.0",
                    position: (113, 20),
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (114, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "By default enable localnet for loopback address ranges.",
                    position: (114, 24),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (111, 27),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "proxies",
               position: (117, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (117, 17),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (118, 9),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: PropertyAccess {
                   expression: Variable {
                    identifier: "types",
                    position: (118, 16),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "attrsOf",
                      position: (118, 22),
                     },
                    ],
                   },
                   default: None,
                  },
                  arguments: [
                   FunctionApplication {
                    function: PropertyAccess {
                     expression: Variable {
                      identifier: "types",
                      position: (118, 31),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "submodule",
                        position: (118, 37),
                       },
                      ],
                     },
                     default: None,
                    },
                    arguments: [
                     Variable {
                      identifier: "proxyOptions",
                      position: (118, 47),
                     },
                    ],
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (119, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Proxies to be used by proxychains.\n",
                    position: (120, 1),
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "example",
                    position: (123, 9),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: Variable {
                   identifier: "literalExpression",
                   position: (123, 19),
                  },
                  arguments: [
                   String {
                    parts: [
                     Raw {
                      content: "{ myproxy =\n  { type = \"socks4\";\n    host = \"127.0.0.1\";\n    port = 1337;\n  };\n}\n",
                      position: (124, 1),
                     },
                    ],
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (117, 26),
              },
             ],
            },
           ),
          ],
          recursive: false,
          position: (50, 28),
         },
        ),
       ],
       recursive: false,
       position: (48, 13),
      },
     ),
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "meta",
         position: (139, 3),
        },
        Raw {
         content: "maintainers",
         position: (139, 8),
        },
       ],
      },
      With {
       expression: Variable {
        identifier: "maintainers",
        position: (139, 27),
       },
       target: List {
        elements: [
         Variable {
          identifier: "sorki",
          position: (139, 42),
         },
        ],
        position: (139, 40),
       },
       position: (139, 22),
      },
     ),
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "config",
         position: (141, 3),
        },
       ],
      },
      FunctionApplication {
       function: Variable {
        identifier: "mkIf",
        position: (141, 12),
       },
       arguments: [
        PropertyAccess {
         expression: Variable {
          identifier: "cfg",
          position: (141, 17),
         },
         attribute_path: AttributePath {
          attributes: [
           Raw {
            content: "enable",
            position: (141, 21),
           },
          ],
         },
         default: None,
        },
        Map {
         bindings: [
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "assertions",
              position: (143, 5),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "singleton",
             position: (143, 18),
            },
            arguments: [
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "assertion",
                   position: (144, 7),
                  },
                 ],
                },
                BinaryOperation {
                 operator: LogicalAnd,
                 operands: [
                  BinaryOperation {
                   operator: NotEqualTo,
                   operands: [
                    PropertyAccess {
                     expression: Variable {
                      identifier: "cfg",
                      position: (144, 19),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "chain",
                        position: (144, 23),
                       },
                       Raw {
                        content: "type",
                        position: (144, 29),
                       },
                      ],
                     },
                     default: None,
                    },
                    String {
                     parts: [
                      Raw {
                       content: "random",
                       position: (144, 38),
                      },
                     ],
                    },
                   ],
                   position: (144, 34),
                  },
                  BinaryOperation {
                   operator: EqualTo,
                   operands: [
                    PropertyAccess {
                     expression: Variable {
                      identifier: "cfg",
                      position: (144, 49),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "chain",
                        position: (144, 53),
                       },
                       Raw {
                        content: "length",
                        position: (144, 59),
                       },
                      ],
                     },
                     default: None,
                    },
                    Variable {
                     identifier: "null",
                     position: (144, 69),
                    },
                   ],
                   position: (144, 66),
                  },
                 ],
                 position: (144, 46),
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "message",
                   position: (145, 7),
                  },
                 ],
                },
                String {
                 parts: [
                  Raw {
                   content: "Option `programs.proxychains.chain.length`\nonly makes sense with `programs.proxychains.chain.type` = \"random\".\n",
                   position: (146, 1),
                  },
                 ],
                },
               ),
              ],
              recursive: false,
              position: (143, 28),
             },
            ],
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "programs",
              position: (151, 5),
             },
             Raw {
              content: "proxychains",
              position: (151, 14),
             },
             Raw {
              content: "proxies",
              position: (151, 26),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "mkIf",
             position: (151, 36),
            },
            arguments: [
             PropertyAccess {
              expression: Variable {
               identifier: "config",
               position: (151, 41),
              },
              attribute_path: AttributePath {
               attributes: [
                Raw {
                 content: "services",
                 position: (151, 48),
                },
                Raw {
                 content: "tor",
                 position: (151, 57),
                },
                Raw {
                 content: "client",
                 position: (151, 61),
                },
                Raw {
                 content: "enable",
                 position: (151, 68),
                },
               ],
              },
              default: None,
             },
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "torproxy",
                   position: (153, 9),
                  },
                 ],
                },
                FunctionApplication {
                 function: Variable {
                  identifier: "mkDefault",
                  position: (153, 20),
                 },
                 arguments: [
                  Map {
                   bindings: [
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "enable",
                        position: (154, 11),
                       },
                      ],
                     },
                     Variable {
                      identifier: "true",
                      position: (154, 20),
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "type",
                        position: (155, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "socks4",
                        position: (155, 19),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "host",
                        position: (156, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "127.0.0.1",
                        position: (156, 19),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "port",
                        position: (157, 11),
                       },
                      ],
                     },
                     Int {
                      value: 9050,
                      position: (157, 18),
                     },
                    ),
                   ],
                   recursive: false,
                   position: (153, 30),
                  },
                 ],
                },
               ),
              ],
              recursive: false,
              position: (152, 7),
             },
            ],
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "environment",
              position: (161, 5),
             },
             Raw {
              content: "etc",
              position: (161, 17),
             },
             Expression {
              expression: String {
               parts: [
                Raw {
                 content: "proxychains.conf",
                 position: (161, 22),
                },
               ],
              },
             },
             Raw {
              content: "text",
              position: (161, 40),
             },
            ],
           },
           Variable {
            identifier: "configFile",
            position: (161, 47),
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "environment",
              position: (162, 5),
             },
             Raw {
              content: "systemPackages",
              position: (162, 17),
             },
            ],
           },
           List {
            elements: [
             PropertyAccess {
              expression: Variable {
               identifier: "pkgs",
               position: (162, 36),
              },
              attribute_path: AttributePath {
               attributes: [
                Raw {
                 content: "proxychains",
                 position: (162, 41),
                },
               ],
              },
              default: None,
             },
            ],
            position: (162, 34),
           },
          ),
         ],
         recursive: false,
         position: (141, 28),
        },
       ],
      },
     ),
    ],
    recursive: false,
    position: (44, 4),
   },
   position: (3, 1),
  },
  position: (2, 1),
 },
 position: (1, 1),
}