---
Function {
 argument: None,
 arguments: FunctionArguments {
  arguments: [
   FunctionArgument {
    identifier: "lib",
    default: None,
   },
  ],
  ellipsis: false,
 },
 definition: LetIn {
  bindings: [
   Inherit(
    Some(
     PropertyAccess {
      expression: Variable {
       identifier: "lib",
       position: (2, 16),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "attrsets",
         position: (2, 20),
        },
       ],
      },
      default: None,
     },
    ),
    [
     Raw {
      content: "mapAttrs",
      position: (2, 30),
     },
    ],
   ),
  ],
  target: Map {
   bindings: [
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "doubles",
        position: (5, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "import",
       position: (5, 13),
      },
      arguments: [
       Path {
        parts: [
         Raw {
          content: "./doubles.nix",
          position: (5, 20),
         },
        ],
       },
       Map {
        bindings: [
         Inherit(
          None,
          [
           Raw {
            content: "lib",
            position: (5, 44),
           },
          ],
         ),
        ],
        recursive: false,
        position: (5, 34),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "parse",
        position: (6, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "import",
       position: (6, 11),
      },
      arguments: [
       Path {
        parts: [
         Raw {
          content: "./parse.nix",
          position: (6, 18),
         },
        ],
       },
       Map {
        bindings: [
         Inherit(
          None,
          [
           Raw {
            content: "lib",
            position: (6, 40),
           },
          ],
         ),
        ],
        recursive: false,
        position: (6, 30),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "inspect",
        position: (7, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "import",
       position: (7, 13),
      },
      arguments: [
       Path {
        parts: [
         Raw {
          content: "./inspect.nix",
          position: (7, 20),
         },
        ],
       },
       Map {
        bindings: [
         Inherit(
          None,
          [
           Raw {
            content: "lib",
            position: (7, 44),
           },
          ],
         ),
        ],
        recursive: false,
        position: (7, 34),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "platforms",
        position: (8, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "import",
       position: (8, 15),
      },
      arguments: [
       Path {
        parts: [
         Raw {
          content: "./platforms.nix",
          position: (8, 22),
         },
        ],
       },
       Map {
        bindings: [
         Inherit(
          None,
          [
           Raw {
            content: "lib",
            position: (8, 48),
           },
          ],
         ),
        ],
        recursive: false,
        position: (8, 38),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "examples",
        position: (9, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "import",
       position: (9, 14),
      },
      arguments: [
       Path {
        parts: [
         Raw {
          content: "./examples.nix",
          position: (9, 21),
         },
        ],
       },
       Map {
        bindings: [
         Inherit(
          None,
          [
           Raw {
            content: "lib",
            position: (9, 46),
           },
          ],
         ),
        ],
        recursive: false,
        position: (9, 36),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "architectures",
        position: (10, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "import",
       position: (10, 19),
      },
      arguments: [
       Path {
        parts: [
         Raw {
          content: "./architectures.nix",
          position: (10, 26),
         },
        ],
       },
       Map {
        bindings: [
         Inherit(
          None,
          [
           Raw {
            content: "lib",
            position: (10, 56),
           },
          ],
         ),
        ],
        recursive: false,
        position: (10, 46),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "supported",
        position: (11, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "import",
       position: (11, 15),
      },
      arguments: [
       Path {
        parts: [
         Raw {
          content: "./supported.nix",
          position: (11, 22),
         },
        ],
       },
       Map {
        bindings: [
         Inherit(
          None,
          [
           Raw {
            content: "lib",
            position: (11, 48),
           },
          ],
         ),
        ],
        recursive: false,
        position: (11, 38),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "elaborate",
        position: (19, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "args'",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: LetIn {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "args",
            position: (20, 5),
           },
          ],
         },
         IfThenElse {
          predicate: FunctionApplication {
           function: PropertyAccess {
            expression: Variable {
             identifier: "lib",
             position: (20, 15),
            },
            attribute_path: AttributePath {
             attributes: [
              Raw {
               content: "isString",
               position: (20, 19),
              },
             ],
            },
            default: None,
           },
           arguments: [
            Variable {
             identifier: "args'",
             position: (20, 28),
            },
           ],
          },
          then: Map {
           bindings: [
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "system",
                position: (20, 41),
               },
              ],
             },
             Variable {
              identifier: "args'",
              position: (20, 50),
             },
            ),
           ],
           recursive: false,
           position: (20, 39),
          },
          else_: Variable {
           identifier: "args'",
           position: (21, 17),
          },
          position: (20, 12),
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "final",
            position: (22, 5),
           },
          ],
         },
         BinaryOperation {
          operator: Update,
          operands: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "parsed",
                 position: (24, 7),
                },
               ],
              },
              FunctionApplication {
               function: PropertyAccess {
                expression: Variable {
                 identifier: "parse",
                 position: (24, 16),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "mkSystemFromString",
                   position: (24, 22),
                  },
                 ],
                },
                default: None,
               },
               arguments: [
                IfThenElse {
                 predicate: HasProperty {
                  expression: Variable {
                   identifier: "args",
                   position: (24, 45),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "config",
                     position: (24, 52),
                    },
                   ],
                  },
                  position: (24, 50),
                 },
                 then: PropertyAccess {
                  expression: Variable {
                   identifier: "args",
                   position: (24, 64),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "config",
                     position: (24, 69),
                    },
                   ],
                  },
                  default: None,
                 },
                 else_: PropertyAccess {
                  expression: Variable {
                   identifier: "args",
                   position: (24, 81),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "system",
                     position: (24, 86),
                    },
                   ],
                  },
                  default: None,
                 },
                 position: (24, 42),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "system",
                 position: (26, 7),
                },
               ],
              },
              FunctionApplication {
               function: PropertyAccess {
                expression: Variable {
                 identifier: "parse",
                 position: (26, 16),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "doubleFromSystem",
                   position: (26, 22),
                  },
                 ],
                },
                default: None,
               },
               arguments: [
                PropertyAccess {
                 expression: Variable {
                  identifier: "final",
                  position: (26, 39),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "parsed",
                    position: (26, 45),
                   },
                  ],
                 },
                 default: None,
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "config",
                 position: (27, 7),
                },
               ],
              },
              FunctionApplication {
               function: PropertyAccess {
                expression: Variable {
                 identifier: "parse",
                 position: (27, 16),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "tripleFromSystem",
                   position: (27, 22),
                  },
                 ],
                },
                default: None,
               },
               arguments: [
                PropertyAccess {
                 expression: Variable {
                  identifier: "final",
                  position: (27, 39),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "parsed",
                    position: (27, 45),
                   },
                  ],
                 },
                 default: None,
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "isCompatible",
                 position: (29, 7),
                },
               ],
              },
              Function {
               argument: Some(
                "platform",
               ),
               arguments: FunctionArguments {
                arguments: [],
                ellipsis: false,
               },
               definition: FunctionApplication {
                function: PropertyAccess {
                 expression: Variable {
                  identifier: "parse",
                  position: (29, 32),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "isCompatible",
                    position: (29, 38),
                   },
                  ],
                 },
                 default: None,
                },
                arguments: [
                 PropertyAccess {
                  expression: Variable {
                   identifier: "final",
                   position: (29, 51),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "parsed",
                     position: (29, 57),
                    },
                    Raw {
                     content: "cpu",
                     position: (29, 64),
                    },
                   ],
                  },
                  default: None,
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "platform",
                   position: (29, 68),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "parsed",
                     position: (29, 77),
                    },
                    Raw {
                     content: "cpu",
                     position: (29, 84),
                    },
                   ],
                  },
                  default: None,
                 },
                ],
               },
               position: (29, 22),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "libc",
                 position: (31, 7),
                },
               ],
              },
              IfThenElse {
               predicate: PropertyAccess {
                expression: Variable {
                 identifier: "final",
                 position: (32, 17),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "isDarwin",
                   position: (32, 23),
                  },
                 ],
                },
                default: None,
               },
               then: String {
                parts: [
                 Raw {
                  content: "libSystem",
                  position: (32, 51),
                 },
                ],
               },
               else_: IfThenElse {
                predicate: PropertyAccess {
                 expression: Variable {
                  identifier: "final",
                  position: (33, 17),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "isMinGW",
                    position: (33, 23),
                   },
                  ],
                 },
                 default: None,
                },
                then: String {
                 parts: [
                  Raw {
                   content: "msvcrt",
                   position: (33, 51),
                  },
                 ],
                },
                else_: IfThenElse {
                 predicate: PropertyAccess {
                  expression: Variable {
                   identifier: "final",
                   position: (34, 17),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "isWasi",
                     position: (34, 23),
                    },
                   ],
                  },
                  default: None,
                 },
                 then: String {
                  parts: [
                   Raw {
                    content: "wasilibc",
                    position: (34, 51),
                   },
                  ],
                 },
                 else_: IfThenElse {
                  predicate: PropertyAccess {
                   expression: Variable {
                    identifier: "final",
                    position: (35, 17),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "isRedox",
                      position: (35, 23),
                     },
                    ],
                   },
                   default: None,
                  },
                  then: String {
                   parts: [
                    Raw {
                     content: "relibc",
                     position: (35, 51),
                    },
                   ],
                  },
                  else_: IfThenElse {
                   predicate: PropertyAccess {
                    expression: Variable {
                     identifier: "final",
                     position: (36, 17),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "isMusl",
                       position: (36, 23),
                      },
                     ],
                    },
                    default: None,
                   },
                   then: String {
                    parts: [
                     Raw {
                      content: "musl",
                      position: (36, 51),
                     },
                    ],
                   },
                   else_: IfThenElse {
                    predicate: PropertyAccess {
                     expression: Variable {
                      identifier: "final",
                      position: (37, 17),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "isUClibc",
                        position: (37, 23),
                       },
                      ],
                     },
                     default: None,
                    },
                    then: String {
                     parts: [
                      Raw {
                       content: "uclibc",
                       position: (37, 51),
                      },
                     ],
                    },
                    else_: IfThenElse {
                     predicate: PropertyAccess {
                      expression: Variable {
                       identifier: "final",
                       position: (38, 17),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "isAndroid",
                         position: (38, 23),
                        },
                       ],
                      },
                      default: None,
                     },
                     then: String {
                      parts: [
                       Raw {
                        content: "bionic",
                        position: (38, 51),
                       },
                      ],
                     },
                     else_: IfThenElse {
                      predicate: PropertyAccess {
                       expression: Variable {
                        identifier: "final",
                        position: (39, 17),
                       },
                       attribute_path: AttributePath {
                        attributes: [
                         Raw {
                          content: "isLinux",
                          position: (39, 23),
                         },
                        ],
                       },
                       default: None,
                      },
                      then: String {
                       parts: [
                        Raw {
                         content: "glibc",
                         position: (39, 51),
                        },
                       ],
                      },
                      else_: IfThenElse {
                       predicate: PropertyAccess {
                        expression: Variable {
                         identifier: "final",
                         position: (40, 17),
                        },
                        attribute_path: AttributePath {
                         attributes: [
                          Raw {
                           content: "isAvr",
                           position: (40, 23),
                          },
                         ],
                        },
                        default: None,
                       },
                       then: String {
                        parts: [
                         Raw {
                          content: "avrlibc",
                          position: (40, 51),
                         },
                        ],
                       },
                       else_: IfThenElse {
                        predicate: PropertyAccess {
                         expression: Variable {
                          identifier: "final",
                          position: (41, 17),
                         },
                         attribute_path: AttributePath {
                          attributes: [
                           Raw {
                            content: "isNone",
                            position: (41, 23),
                           },
                          ],
                         },
                         default: None,
                        },
                        then: String {
                         parts: [
                          Raw {
                           content: "newlib",
                           position: (41, 51),
                          },
                         ],
                        },
                        else_: IfThenElse {
                         predicate: PropertyAccess {
                          expression: Variable {
                           identifier: "final",
                           position: (42, 17),
                          },
                          attribute_path: AttributePath {
                           attributes: [
                            Raw {
                             content: "isNetBSD",
                             position: (42, 23),
                            },
                           ],
                          },
                          default: None,
                         },
                         then: String {
                          parts: [
                           Raw {
                            content: "nblibc",
                            position: (42, 51),
                           },
                          ],
                         },
                         else_: String {
                          parts: [
                           Raw {
                            content: "native/impure",
                            position: (44, 51),
                           },
                          ],
                         },
                         position: (42, 14),
                        },
                        position: (41, 14),
                       },
                       position: (40, 14),
                      },
                      position: (39, 14),
                     },
                     position: (38, 14),
                    },
                    position: (37, 14),
                   },
                   position: (36, 14),
                  },
                  position: (35, 14),
                 },
                 position: (34, 14),
                },
                position: (33, 14),
               },
               position: (32, 14),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "linker",
                 position: (51, 7),
                },
               ],
              },
              IfThenElse {
               predicate: PropertyAccess {
                expression: Variable {
                 identifier: "final",
                 position: (52, 17),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "useLLVM",
                   position: (52, 23),
                  },
                 ],
                },
                default: Some(
                 Variable {
                  identifier: "false",
                  position: (52, 34),
                 },
                ),
               },
               then: String {
                parts: [
                 Raw {
                  content: "lld",
                  position: (52, 51),
                 },
                ],
               },
               else_: IfThenElse {
                predicate: PropertyAccess {
                 expression: Variable {
                  identifier: "final",
                  position: (53, 17),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "isDarwin",
                    position: (53, 23),
                   },
                  ],
                 },
                 default: None,
                },
                then: String {
                 parts: [
                  Raw {
                   content: "cctools",
                   position: (53, 51),
                  },
                 ],
                },
                else_: String {
                 parts: [
                  Raw {
                   content: "bfd",
                   position: (57, 51),
                  },
                 ],
                },
                position: (53, 14),
               },
               position: (52, 14),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "extensions",
                 position: (58, 7),
                },
               ],
              },
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "sharedLibrary",
                    position: (59, 9),
                   },
                  ],
                 },
                 IfThenElse {
                  predicate: PropertyAccess {
                   expression: Variable {
                    identifier: "final",
                    position: (60, 19),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "isDarwin",
                      position: (60, 25),
                     },
                    ],
                   },
                   default: None,
                  },
                  then: String {
                   parts: [
                    Raw {
                     content: ".dylib",
                     position: (60, 41),
                    },
                   ],
                  },
                  else_: IfThenElse {
                   predicate: PropertyAccess {
                    expression: Variable {
                     identifier: "final",
                     position: (61, 19),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "isWindows",
                       position: (61, 25),
                      },
                     ],
                    },
                    default: None,
                   },
                   then: String {
                    parts: [
                     Raw {
                      content: ".dll",
                      position: (61, 41),
                     },
                    ],
                   },
                   else_: String {
                    parts: [
                     Raw {
                      content: ".so",
                      position: (62, 41),
                     },
                    ],
                   },
                   position: (61, 16),
                  },
                  position: (60, 16),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "executable",
                    position: (63, 9),
                   },
                  ],
                 },
                 IfThenElse {
                  predicate: PropertyAccess {
                   expression: Variable {
                    identifier: "final",
                    position: (64, 19),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "isWindows",
                      position: (64, 25),
                     },
                    ],
                   },
                   default: None,
                  },
                  then: String {
                   parts: [
                    Raw {
                     content: ".exe",
                     position: (64, 41),
                    },
                   ],
                  },
                  else_: String {
                   parts: [],
                  },
                  position: (64, 16),
                 },
                ),
               ],
               recursive: false,
               position: (58, 20),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "useAndroidPrebuilt",
                 position: (68, 7),
                },
               ],
              },
              Variable {
               identifier: "false",
               position: (68, 28),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "useiOSPrebuilt",
                 position: (69, 7),
                },
               ],
              },
              Variable {
               identifier: "false",
               position: (69, 24),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "uname",
                 position: (72, 7),
                },
               ],
              },
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "system",
                    position: (74, 9),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Map {
                   bindings: [
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "linux",
                        position: (75, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "Linux",
                        position: (75, 20),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "windows",
                        position: (76, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "Windows",
                        position: (76, 22),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "darwin",
                        position: (77, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "Darwin",
                        position: (77, 21),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "netbsd",
                        position: (78, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "NetBSD",
                        position: (78, 21),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "freebsd",
                        position: (79, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "FreeBSD",
                        position: (79, 22),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "openbsd",
                        position: (80, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "OpenBSD",
                        position: (80, 22),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "wasi",
                        position: (81, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "Wasi",
                        position: (81, 19),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "redox",
                        position: (82, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "Redox",
                        position: (82, 20),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "genode",
                        position: (83, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "Genode",
                        position: (83, 21),
                       },
                      ],
                     },
                    ),
                   ],
                   recursive: false,
                   position: (74, 18),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Expression {
                     expression: PropertyAccess {
                      expression: Variable {
                       identifier: "final",
                       position: (84, 13),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "parsed",
                         position: (84, 19),
                        },
                        Raw {
                         content: "kernel",
                         position: (84, 26),
                        },
                        Raw {
                         content: "name",
                         position: (84, 33),
                        },
                       ],
                      },
                      default: None,
                     },
                    },
                   ],
                  },
                  default: Some(
                   Variable {
                    identifier: "null",
                    position: (84, 42),
                   },
                  ),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "processor",
                    position: (87, 10),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "final",
                   position: (87, 22),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "parsed",
                     position: (87, 28),
                    },
                    Raw {
                     content: "cpu",
                     position: (87, 35),
                    },
                    Raw {
                     content: "name",
                     position: (87, 39),
                    },
                   ],
                  },
                  default: None,
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "release",
                    position: (90, 10),
                   },
                  ],
                 },
                 Variable {
                  identifier: "null",
                  position: (90, 20),
                 },
                ),
               ],
               recursive: false,
               position: (72, 15),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "isStatic",
                 position: (92, 7),
                },
               ],
              },
              BinaryOperation {
               operator: LogicalOr,
               operands: [
                PropertyAccess {
                 expression: Variable {
                  identifier: "final",
                  position: (92, 18),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "isWasm",
                    position: (92, 24),
                   },
                  ],
                 },
                 default: None,
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "final",
                  position: (92, 34),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "isRedox",
                    position: (92, 40),
                   },
                  ],
                 },
                 default: None,
                },
               ],
               position: (92, 31),
              },
             ),
             Inherit(
              Some(
               BinaryOperation {
                operator: Update,
                operands: [
                 Map {
                  bindings: [
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "linux-kernel",
                       position: (97, 11),
                      },
                     ],
                    },
                    PropertyAccess {
                     expression: Variable {
                      identifier: "args",
                      position: (97, 26),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "linux-kernel",
                        position: (97, 31),
                       },
                      ],
                     },
                     default: Some(
                      Map {
                       bindings: [],
                       recursive: false,
                       position: (97, 47),
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "gcc",
                       position: (98, 11),
                      },
                     ],
                    },
                    PropertyAccess {
                     expression: Variable {
                      identifier: "args",
                      position: (98, 17),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "gcc",
                        position: (98, 22),
                       },
                      ],
                     },
                     default: Some(
                      Map {
                       bindings: [],
                       recursive: false,
                       position: (98, 29),
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "rustc",
                       position: (99, 11),
                      },
                     ],
                    },
                    PropertyAccess {
                     expression: Variable {
                      identifier: "args",
                      position: (99, 19),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "rust",
                        position: (99, 24),
                       },
                      ],
                     },
                     default: Some(
                      Map {
                       bindings: [],
                       recursive: false,
                       position: (99, 32),
                      },
                     ),
                    },
                   ),
                  ],
                  recursive: false,
                  position: (96, 10),
                 },
                 FunctionApplication {
                  function: PropertyAccess {
                   expression: Variable {
                    identifier: "platforms",
                    position: (100, 14),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "select",
                      position: (100, 24),
                     },
                    ],
                   },
                   default: None,
                  },
                  arguments: [
                   Variable {
                    identifier: "final",
                    position: (100, 31),
                   },
                  ],
                 },
                ],
                position: (100, 11),
               },
              ),
              [
               Raw {
                content: "linux-kernel",
                position: (101, 9),
               },
               Raw {
                content: "gcc",
                position: (101, 22),
               },
               Raw {
                content: "rustc",
                position: (101, 26),
               },
              ],
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "linuxArch",
                 position: (103, 7),
                },
               ],
              },
              IfThenElse {
               predicate: PropertyAccess {
                expression: Variable {
                 identifier: "final",
                 position: (104, 12),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "isAarch32",
                   position: (104, 18),
                  },
                 ],
                },
                default: None,
               },
               then: String {
                parts: [
                 Raw {
                  content: "arm",
                  position: (104, 34),
                 },
                ],
               },
               else_: IfThenElse {
                predicate: PropertyAccess {
                 expression: Variable {
                  identifier: "final",
                  position: (105, 17),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "isAarch64",
                    position: (105, 23),
                   },
                  ],
                 },
                 default: None,
                },
                then: String {
                 parts: [
                  Raw {
                   content: "arm64",
                   position: (105, 39),
                  },
                 ],
                },
                else_: IfThenElse {
                 predicate: PropertyAccess {
                  expression: Variable {
                   identifier: "final",
                   position: (106, 17),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "isx86_32",
                     position: (106, 23),
                    },
                   ],
                  },
                  default: None,
                 },
                 then: String {
                  parts: [
                   Raw {
                    content: "i386",
                    position: (106, 38),
                   },
                  ],
                 },
                 else_: IfThenElse {
                  predicate: PropertyAccess {
                   expression: Variable {
                    identifier: "final",
                    position: (107, 17),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "isx86_64",
                      position: (107, 23),
                     },
                    ],
                   },
                   default: None,
                  },
                  then: String {
                   parts: [
                    Raw {
                     content: "x86_64",
                     position: (107, 38),
                    },
                   ],
                  },
                  else_: IfThenElse {
                   predicate: PropertyAccess {
                    expression: Variable {
                     identifier: "final",
                     position: (108, 17),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "isMips",
                       position: (108, 23),
                      },
                     ],
                    },
                    default: None,
                   },
                   then: String {
                    parts: [
                     Raw {
                      content: "mips",
                      position: (108, 36),
                     },
                    ],
                   },
                   else_: IfThenElse {
                    predicate: PropertyAccess {
                     expression: Variable {
                      identifier: "final",
                      position: (109, 17),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "isPower",
                        position: (109, 23),
                       },
                      ],
                     },
                     default: None,
                    },
                    then: String {
                     parts: [
                      Raw {
                       content: "powerpc",
                       position: (109, 37),
                      },
                     ],
                    },
                    else_: IfThenElse {
                     predicate: PropertyAccess {
                      expression: Variable {
                       identifier: "final",
                       position: (110, 17),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "isRiscV",
                         position: (110, 23),
                        },
                       ],
                      },
                      default: None,
                     },
                     then: String {
                      parts: [
                       Raw {
                        content: "riscv",
                        position: (110, 37),
                       },
                      ],
                     },
                     else_: IfThenElse {
                      predicate: PropertyAccess {
                       expression: Variable {
                        identifier: "final",
                        position: (111, 17),
                       },
                       attribute_path: AttributePath {
                        attributes: [
                         Raw {
                          content: "isS390",
                          position: (111, 23),
                         },
                        ],
                       },
                       default: None,
                      },
                      then: String {
                       parts: [
                        Raw {
                         content: "s390",
                         position: (111, 36),
                        },
                       ],
                      },
                      else_: PropertyAccess {
                       expression: Variable {
                        identifier: "final",
                        position: (112, 14),
                       },
                       attribute_path: AttributePath {
                        attributes: [
                         Raw {
                          content: "parsed",
                          position: (112, 20),
                         },
                         Raw {
                          content: "cpu",
                          position: (112, 27),
                         },
                         Raw {
                          content: "name",
                          position: (112, 31),
                         },
                        ],
                       },
                       default: None,
                      },
                      position: (111, 14),
                     },
                     position: (110, 14),
                    },
                    position: (109, 14),
                   },
                   position: (108, 14),
                  },
                  position: (107, 14),
                 },
                 position: (106, 14),
                },
                position: (105, 14),
               },
               position: (104, 9),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "qemuArch",
                 position: (114, 7),
                },
               ],
              },
              IfThenElse {
               predicate: PropertyAccess {
                expression: Variable {
                 identifier: "final",
                 position: (115, 12),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "isAarch32",
                   position: (115, 18),
                  },
                 ],
                },
                default: None,
               },
               then: String {
                parts: [
                 Raw {
                  content: "arm",
                  position: (115, 34),
                 },
                ],
               },
               else_: IfThenElse {
                predicate: PropertyAccess {
                 expression: Variable {
                  identifier: "final",
                  position: (116, 17),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "isx86_64",
                    position: (116, 23),
                   },
                  ],
                 },
                 default: None,
                },
                then: String {
                 parts: [
                  Raw {
                   content: "x86_64",
                   position: (116, 38),
                  },
                 ],
                },
                else_: IfThenElse {
                 predicate: PropertyAccess {
                  expression: Variable {
                   identifier: "final",
                   position: (117, 17),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "isx86",
                     position: (117, 23),
                    },
                   ],
                  },
                  default: None,
                 },
                 then: String {
                  parts: [
                   Raw {
                    content: "i386",
                    position: (117, 35),
                   },
                  ],
                 },
                 else_: PropertyAccess {
                  expression: Map {
                   bindings: [
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "powerpc",
                        position: (119, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "ppc",
                        position: (119, 22),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "powerpcle",
                        position: (120, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "ppc",
                        position: (120, 24),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "powerpc64",
                        position: (121, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "ppc64",
                        position: (121, 24),
                       },
                      ],
                     },
                    ),
                    KeyValue(
                     AttributePath {
                      attributes: [
                       Raw {
                        content: "powerpc64le",
                        position: (122, 11),
                       },
                      ],
                     },
                     String {
                      parts: [
                       Raw {
                        content: "ppc64le",
                        position: (122, 26),
                       },
                      ],
                     },
                    ),
                   ],
                   recursive: false,
                   position: (118, 14),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Expression {
                     expression: PropertyAccess {
                      expression: Variable {
                       identifier: "final",
                       position: (123, 13),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "parsed",
                         position: (123, 19),
                        },
                        Raw {
                         content: "cpu",
                         position: (123, 26),
                        },
                        Raw {
                         content: "name",
                         position: (123, 30),
                        },
                       ],
                      },
                      default: None,
                     },
                    },
                   ],
                  },
                  default: Some(
                   PropertyAccess {
                    expression: Variable {
                     identifier: "final",
                     position: (123, 39),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "parsed",
                       position: (123, 45),
                      },
                      Raw {
                       content: "cpu",
                       position: (123, 52),
                      },
                      Raw {
                       content: "name",
                       position: (123, 56),
                      },
                     ],
                    },
                    default: None,
                   },
                  ),
                 },
                 position: (117, 14),
                },
                position: (116, 14),
               },
               position: (115, 9),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "darwinArch",
                 position: (125, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Map {
                bindings: [
                 KeyValue(
                  AttributePath {
                   attributes: [
                    Raw {
                     content: "armv7a",
                     position: (126, 9),
                    },
                   ],
                  },
                  String {
                   parts: [
                    Raw {
                     content: "armv7",
                     position: (126, 20),
                    },
                   ],
                  },
                 ),
                 KeyValue(
                  AttributePath {
                   attributes: [
                    Raw {
                     content: "aarch64",
                     position: (127, 9),
                    },
                   ],
                  },
                  String {
                   parts: [
                    Raw {
                     content: "arm64",
                     position: (127, 20),
                    },
                   ],
                  },
                 ),
                ],
                recursive: false,
                position: (125, 20),
               },
               attribute_path: AttributePath {
                attributes: [
                 Expression {
                  expression: PropertyAccess {
                   expression: Variable {
                    identifier: "final",
                    position: (128, 11),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "parsed",
                      position: (128, 17),
                     },
                     Raw {
                      content: "cpu",
                      position: (128, 24),
                     },
                     Raw {
                      content: "name",
                      position: (128, 28),
                     },
                    ],
                   },
                   default: None,
                  },
                 },
                ],
               },
               default: Some(
                PropertyAccess {
                 expression: Variable {
                  identifier: "final",
                  position: (128, 37),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "parsed",
                    position: (128, 43),
                   },
                   Raw {
                    content: "cpu",
                    position: (128, 50),
                   },
                   Raw {
                    content: "name",
                    position: (128, 54),
                   },
                  ],
                 },
                 default: None,
                },
               ),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "darwinPlatform",
                 position: (130, 7),
                },
               ],
              },
              IfThenElse {
               predicate: PropertyAccess {
                expression: Variable {
                 identifier: "final",
                 position: (131, 12),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "isMacOS",
                   position: (131, 18),
                  },
                 ],
                },
                default: None,
               },
               then: String {
                parts: [
                 Raw {
                  content: "macos",
                  position: (131, 32),
                 },
                ],
               },
               else_: IfThenElse {
                predicate: PropertyAccess {
                 expression: Variable {
                  identifier: "final",
                  position: (132, 17),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "isiOS",
                    position: (132, 23),
                   },
                  ],
                 },
                 default: None,
                },
                then: String {
                 parts: [
                  Raw {
                   content: "ios",
                   position: (132, 35),
                  },
                 ],
                },
                else_: Variable {
                 identifier: "null",
                 position: (133, 14),
                },
                position: (132, 14),
               },
               position: (131, 9),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "darwinSdkVersion",
                 position: (136, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "final",
                position: (136, 26),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "sdkVer",
                  position: (136, 32),
                 },
                ],
               },
               default: Some(
                IfThenElse {
                 predicate: PropertyAccess {
                  expression: Variable {
                   identifier: "final",
                   position: (136, 46),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "isAarch64",
                     position: (136, 52),
                    },
                   ],
                  },
                  default: None,
                 },
                 then: String {
                  parts: [
                   Raw {
                    content: "11.0",
                    position: (136, 68),
                   },
                  ],
                 },
                 else_: String {
                  parts: [
                   Raw {
                    content: "10.12",
                    position: (136, 80),
                   },
                  ],
                 },
                 position: (136, 43),
                },
               ),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "darwinMinVersion",
                 position: (137, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "final",
                position: (137, 26),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "darwinSdkVersion",
                  position: (137, 32),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "darwinMinVersionVariable",
                 position: (138, 7),
                },
               ],
              },
              IfThenElse {
               predicate: PropertyAccess {
                expression: Variable {
                 identifier: "final",
                 position: (139, 12),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "isMacOS",
                   position: (139, 18),
                  },
                 ],
                },
                default: None,
               },
               then: String {
                parts: [
                 Raw {
                  content: "MACOSX_DEPLOYMENT_TARGET",
                  position: (139, 32),
                 },
                ],
               },
               else_: IfThenElse {
                predicate: PropertyAccess {
                 expression: Variable {
                  identifier: "final",
                  position: (140, 17),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "isiOS",
                    position: (140, 23),
                   },
                  ],
                 },
                 default: None,
                },
                then: String {
                 parts: [
                  Raw {
                   content: "IPHONEOS_DEPLOYMENT_TARGET",
                   position: (140, 35),
                  },
                 ],
                },
                else_: Variable {
                 identifier: "null",
                 position: (141, 14),
                },
                position: (140, 14),
               },
               position: (139, 9),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "emulator",
                 position: (143, 7),
                },
               ],
              },
              Function {
               argument: Some(
                "pkgs",
               ),
               arguments: FunctionArguments {
                arguments: [],
                ellipsis: false,
               },
               definition: LetIn {
                bindings: [
                 KeyValue(
                  AttributePath {
                   attributes: [
                    Raw {
                     content: "qemu-user",
                     position: (144, 9),
                    },
                   ],
                  },
                  FunctionApplication {
                   function: PropertyAccess {
                    expression: Variable {
                     identifier: "pkgs",
                     position: (144, 21),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "qemu",
                       position: (144, 26),
                      },
                      Raw {
                       content: "override",
                       position: (144, 31),
                      },
                     ],
                    },
                    default: None,
                   },
                   arguments: [
                    Map {
                     bindings: [
                      KeyValue(
                       AttributePath {
                        attributes: [
                         Raw {
                          content: "smartcardSupport",
                          position: (145, 11),
                         },
                        ],
                       },
                       Variable {
                        identifier: "false",
                        position: (145, 30),
                       },
                      ),
                      KeyValue(
                       AttributePath {
                        attributes: [
                         Raw {
                          content: "spiceSupport",
                          position: (146, 11),
                         },
                        ],
                       },
                       Variable {
                        identifier: "false",
                        position: (146, 26),
                       },
                      ),
                      KeyValue(
                       AttributePath {
                        attributes: [
                         Raw {
                          content: "openGLSupport",
                          position: (147, 11),
                         },
                        ],
                       },
                       Variable {
                        identifier: "false",
                        position: (147, 27),
                       },
                      ),
                      KeyValue(
                       AttributePath {
                        attributes: [
                         Raw {
                          content: "virglSupport",
                          position: (148, 11),
                         },
                        ],
                       },
                       Variable {
                        identifier: "false",
                        position: (148, 26),
                       },
                      ),
                      KeyValue(
                       AttributePath {
                        attributes: [
                         Raw {
                          content: "vncSupport",
                          position: (149, 11),
                         },
                        ],
                       },
                       Variable {
                        identifier: "false",
                        position: (149, 24),
                       },
                      ),
                      KeyValue(
                       AttributePath {
                        attributes: [
                         Raw {
                          content: "gtkSupport",
                          position: (150, 11),
                         },
                        ],
                       },
                       Variable {
                        identifier: "false",
                        position: (150, 24),
                       },
                      ),
                      KeyValue(
                       AttributePath {
                        attributes: [
                         Raw {
                          content: "sdlSupport",
                          position: (151, 11),
                         },
                        ],
                       },
                       Variable {
                        identifier: "false",
                        position: (151, 24),
                       },
                      ),
                      KeyValue(
                       AttributePath {
                        attributes: [
                         Raw {
                          content: "pulseSupport",
                          position: (152, 11),
                         },
                        ],
                       },
                       Variable {
                        identifier: "false",
                        position: (152, 26),
                       },
                      ),
                      KeyValue(
                       AttributePath {
                        attributes: [
                         Raw {
                          content: "smbdSupport",
                          position: (153, 11),
                         },
                        ],
                       },
                       Variable {
                        identifier: "false",
                        position: (153, 25),
                       },
                      ),
                      KeyValue(
                       AttributePath {
                        attributes: [
                         Raw {
                          content: "seccompSupport",
                          position: (154, 11),
                         },
                        ],
                       },
                       Variable {
                        identifier: "false",
                        position: (154, 28),
                       },
                      ),
                      KeyValue(
                       AttributePath {
                        attributes: [
                         Raw {
                          content: "hostCpuTargets",
                          position: (155, 11),
                         },
                        ],
                       },
                       List {
                        elements: [
                         String {
                          parts: [
                           Expression {
                            expression: PropertyAccess {
                             expression: Variable {
                              identifier: "final",
                              position: (155, 32),
                             },
                             attribute_path: AttributePath {
                              attributes: [
                               Raw {
                                content: "qemuArch",
                                position: (155, 38),
                               },
                              ],
                             },
                             default: None,
                            },
                           },
                           Raw {
                            content: "-linux-user",
                            position: (155, 47),
                           },
                          ],
                         },
                        ],
                        position: (155, 28),
                       },
                      ),
                     ],
                     recursive: false,
                     position: (144, 40),
                    },
                   ],
                  },
                 ),
                 KeyValue(
                  AttributePath {
                   attributes: [
                    Raw {
                     content: "wine-name",
                     position: (157, 9),
                    },
                   ],
                  },
                  String {
                   parts: [
                    Raw {
                     content: "wine",
                     position: (157, 22),
                    },
                    Expression {
                     expression: FunctionApplication {
                      function: Variable {
                       identifier: "toString",
                       position: (157, 28),
                      },
                      arguments: [
                       PropertyAccess {
                        expression: Variable {
                         identifier: "final",
                         position: (157, 37),
                        },
                        attribute_path: AttributePath {
                         attributes: [
                          Raw {
                           content: "parsed",
                           position: (157, 43),
                          },
                          Raw {
                           content: "cpu",
                           position: (157, 50),
                          },
                          Raw {
                           content: "bits",
                           position: (157, 54),
                          },
                         ],
                        },
                        default: None,
                       },
                      ],
                     },
                    },
                   ],
                  },
                 ),
                 KeyValue(
                  AttributePath {
                   attributes: [
                    Raw {
                     content: "wine",
                     position: (158, 9),
                    },
                   ],
                  },
                  PropertyAccess {
                   expression: FunctionApplication {
                    function: PropertyAccess {
                     expression: Variable {
                      identifier: "pkgs",
                      position: (158, 17),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "winePackagesFor",
                        position: (158, 22),
                       },
                      ],
                     },
                     default: None,
                    },
                    arguments: [
                     Variable {
                      identifier: "wine-name",
                      position: (158, 38),
                     },
                    ],
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "minimal",
                      position: (158, 49),
                     },
                    ],
                   },
                   default: None,
                  },
                 ),
                ],
                target: IfThenElse {
                 predicate: BinaryOperation {
                  operator: LogicalAnd,
                  operands: [
                   BinaryOperation {
                    operator: EqualTo,
                    operands: [
                     PropertyAccess {
                      expression: Variable {
                       identifier: "final",
                       position: (160, 12),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "parsed",
                         position: (160, 18),
                        },
                        Raw {
                         content: "kernel",
                         position: (160, 25),
                        },
                        Raw {
                         content: "name",
                         position: (160, 32),
                        },
                       ],
                      },
                      default: None,
                     },
                     PropertyAccess {
                      expression: Variable {
                       identifier: "pkgs",
                       position: (160, 40),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "stdenv",
                         position: (160, 45),
                        },
                        Raw {
                         content: "hostPlatform",
                         position: (160, 52),
                        },
                        Raw {
                         content: "parsed",
                         position: (160, 65),
                        },
                        Raw {
                         content: "kernel",
                         position: (160, 72),
                        },
                        Raw {
                         content: "name",
                         position: (160, 79),
                        },
                       ],
                      },
                      default: None,
                     },
                    ],
                    position: (160, 37),
                   },
                   FunctionApplication {
                    function: PropertyAccess {
                     expression: Variable {
                      identifier: "pkgs",
                      position: (161, 12),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "stdenv",
                        position: (161, 17),
                       },
                       Raw {
                        content: "hostPlatform",
                        position: (161, 24),
                       },
                       Raw {
                        content: "isCompatible",
                        position: (161, 37),
                       },
                      ],
                     },
                     default: None,
                    },
                    arguments: [
                     Variable {
                      identifier: "final",
                      position: (161, 50),
                     },
                    ],
                   },
                  ],
                  position: (160, 84),
                 },
                 then: String {
                  parts: [
                   Expression {
                    expression: PropertyAccess {
                     expression: Variable {
                      identifier: "pkgs",
                      position: (162, 17),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "runtimeShell",
                        position: (162, 22),
                       },
                      ],
                     },
                     default: None,
                    },
                   },
                   Raw {
                    content: " -c '\"$@\"' --",
                    position: (162, 35),
                   },
                  ],
                 },
                 else_: IfThenElse {
                  predicate: PropertyAccess {
                   expression: Variable {
                    identifier: "final",
                    position: (163, 17),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "isWindows",
                      position: (163, 23),
                     },
                    ],
                   },
                   default: None,
                  },
                  then: String {
                   parts: [
                    Expression {
                     expression: Variable {
                      identifier: "wine",
                      position: (164, 17),
                     },
                    },
                    Raw {
                     content: "/bin/",
                     position: (164, 22),
                    },
                    Expression {
                     expression: Variable {
                      identifier: "wine-name",
                      position: (164, 29),
                     },
                    },
                   ],
                  },
                  else_: IfThenElse {
                   predicate: BinaryOperation {
                    operator: LogicalAnd,
                    operands: [
                     PropertyAccess {
                      expression: Variable {
                       identifier: "final",
                       position: (165, 17),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "isLinux",
                         position: (165, 23),
                        },
                       ],
                      },
                      default: None,
                     },
                     PropertyAccess {
                      expression: Variable {
                       identifier: "pkgs",
                       position: (165, 34),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "stdenv",
                         position: (165, 39),
                        },
                        Raw {
                         content: "hostPlatform",
                         position: (165, 46),
                        },
                        Raw {
                         content: "isLinux",
                         position: (165, 59),
                        },
                       ],
                      },
                      default: None,
                     },
                    ],
                    position: (165, 31),
                   },
                   then: String {
                    parts: [
                     Expression {
                      expression: Variable {
                       identifier: "qemu-user",
                       position: (166, 17),
                      },
                     },
                     Raw {
                      content: "/bin/qemu-",
                      position: (166, 27),
                     },
                     Expression {
                      expression: PropertyAccess {
                       expression: Variable {
                        identifier: "final",
                        position: (166, 39),
                       },
                       attribute_path: AttributePath {
                        attributes: [
                         Raw {
                          content: "qemuArch",
                          position: (166, 45),
                         },
                        ],
                       },
                       default: None,
                      },
                     },
                    ],
                   },
                   else_: IfThenElse {
                    predicate: PropertyAccess {
                     expression: Variable {
                      identifier: "final",
                      position: (167, 17),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "isWasi",
                        position: (167, 23),
                       },
                      ],
                     },
                     default: None,
                    },
                    then: String {
                     parts: [
                      Expression {
                       expression: PropertyAccess {
                        expression: Variable {
                         identifier: "pkgs",
                         position: (168, 17),
                        },
                        attribute_path: AttributePath {
                         attributes: [
                          Raw {
                           content: "wasmtime",
                           position: (168, 22),
                          },
                         ],
                        },
                        default: None,
                       },
                      },
                      Raw {
                       content: "/bin/wasmtime",
                       position: (168, 31),
                      },
                     ],
                    },
                    else_: IfThenElse {
                     predicate: PropertyAccess {
                      expression: Variable {
                       identifier: "final",
                       position: (169, 17),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "isMmix",
                         position: (169, 23),
                        },
                       ],
                      },
                      default: None,
                     },
                     then: String {
                      parts: [
                       Expression {
                        expression: PropertyAccess {
                         expression: Variable {
                          identifier: "pkgs",
                          position: (170, 17),
                         },
                         attribute_path: AttributePath {
                          attributes: [
                           Raw {
                            content: "mmixware",
                            position: (170, 22),
                           },
                          ],
                         },
                         default: None,
                        },
                       },
                       Raw {
                        content: "/bin/mmix",
                        position: (170, 31),
                       },
                      ],
                     },
                     else_: FunctionApplication {
                      function: Variable {
                       identifier: "throw",
                       position: (171, 14),
                      },
                      arguments: [
                       String {
                        parts: [
                         Raw {
                          content: "Don't know how to run ",
                          position: (171, 21),
                         },
                         Expression {
                          expression: PropertyAccess {
                           expression: Variable {
                            identifier: "final",
                            position: (171, 45),
                           },
                           attribute_path: AttributePath {
                            attributes: [
                             Raw {
                              content: "config",
                              position: (171, 51),
                             },
                            ],
                           },
                           default: None,
                          },
                         },
                         Raw {
                          content: " executables.",
                          position: (171, 58),
                         },
                        ],
                       },
                      ],
                     },
                     position: (169, 14),
                    },
                    position: (167, 14),
                   },
                   position: (165, 14),
                  },
                  position: (163, 14),
                 },
                 position: (160, 9),
                },
                position: (143, 24),
               },
               position: (143, 18),
              },
             ),
            ],
            recursive: false,
            position: (22, 13),
           },
           BinaryOperation {
            operator: Update,
            operands: [
             FunctionApplication {
              function: Variable {
               identifier: "mapAttrs",
               position: (173, 10),
              },
              arguments: [
               Function {
                argument: Some(
                 "n",
                ),
                arguments: FunctionArguments {
                 arguments: [],
                 ellipsis: false,
                },
                definition: Function {
                 argument: Some(
                  "v",
                 ),
                 arguments: FunctionArguments {
                  arguments: [],
                  ellipsis: false,
                 },
                 definition: FunctionApplication {
                  function: Variable {
                   identifier: "v",
                   position: (173, 26),
                  },
                  arguments: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "final",
                     position: (173, 28),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "parsed",
                       position: (173, 34),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                 },
                 position: (173, 23),
                },
                position: (173, 20),
               },
               PropertyAccess {
                expression: Variable {
                 identifier: "inspect",
                 position: (173, 42),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "predicates",
                   position: (173, 50),
                  },
                 ],
                },
                default: None,
               },
              ],
             },
             BinaryOperation {
              operator: Update,
              operands: [
               FunctionApplication {
                function: Variable {
                 identifier: "mapAttrs",
                 position: (174, 10),
                },
                arguments: [
                 Function {
                  argument: Some(
                   "n",
                  ),
                  arguments: FunctionArguments {
                   arguments: [],
                   ellipsis: false,
                  },
                  definition: Function {
                   argument: Some(
                    "v",
                   ),
                   arguments: FunctionArguments {
                    arguments: [],
                    ellipsis: false,
                   },
                   definition: FunctionApplication {
                    function: Variable {
                     identifier: "v",
                     position: (174, 26),
                    },
                    arguments: [
                     PropertyAccess {
                      expression: Variable {
                       identifier: "final",
                       position: (174, 28),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "gcc",
                         position: (174, 34),
                        },
                        Raw {
                         content: "arch",
                         position: (174, 38),
                        },
                       ],
                      },
                      default: Some(
                       String {
                        parts: [
                         Raw {
                          content: "default",
                          position: (174, 47),
                         },
                        ],
                       },
                      ),
                     },
                    ],
                   },
                   position: (174, 23),
                  },
                  position: (174, 20),
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "architectures",
                   position: (174, 57),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "predicates",
                     position: (174, 71),
                    },
                   ],
                  },
                  default: None,
                 },
                ],
               },
               Variable {
                identifier: "args",
                position: (175, 10),
               },
              ],
              position: (175, 7),
             },
            ],
            position: (174, 7),
           },
          ],
          position: (173, 7),
         },
        ),
       ],
       target: Assert {
        expression: BinaryOperation {
         operator: Implication,
         operands: [
          PropertyAccess {
           expression: Variable {
            identifier: "final",
            position: (176, 13),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "useAndroidPrebuilt",
              position: (176, 19),
             },
            ],
           },
           default: None,
          },
          PropertyAccess {
           expression: Variable {
            identifier: "final",
            position: (176, 41),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "isAndroid",
              position: (176, 47),
             },
            ],
           },
           default: None,
          },
         ],
         position: (176, 38),
        },
        target: Assert {
         expression: FunctionApplication {
          function: PropertyAccess {
           expression: Variable {
            identifier: "lib",
            position: (177, 13),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "foldl",
              position: (177, 17),
             },
            ],
           },
           default: None,
          },
          arguments: [
           Function {
            argument: Some(
             "pass",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: Function {
             argument: None,
             arguments: FunctionArguments {
              arguments: [
               FunctionArgument {
                identifier: "message",
                default: None,
               },
               FunctionArgument {
                identifier: "assertion",
                default: None,
               },
              ],
              ellipsis: false,
             },
             definition: IfThenElse {
              predicate: FunctionApplication {
               function: Variable {
                identifier: "assertion",
                position: (179, 13),
               },
               arguments: [
                Variable {
                 identifier: "final",
                 position: (179, 23),
                },
               ],
              },
              then: Variable {
               identifier: "pass",
               position: (180, 15),
              },
              else_: FunctionApplication {
               function: Variable {
                identifier: "throw",
                position: (181, 15),
               },
               arguments: [
                Variable {
                 identifier: "message",
                 position: (181, 21),
                },
               ],
              },
              position: (179, 10),
             },
             position: (178, 15),
            },
            position: (178, 9),
           },
           Variable {
            identifier: "true",
            position: (182, 8),
           },
           PropertyAccess {
            expression: Variable {
             identifier: "final",
             position: (183, 9),
            },
            attribute_path: AttributePath {
             attributes: [
              Raw {
               content: "parsed",
               position: (183, 15),
              },
              Raw {
               content: "abi",
               position: (183, 22),
              },
              Raw {
               content: "assertions",
               position: (183, 26),
              },
             ],
            },
            default: Some(
             List {
              elements: [],
              position: (183, 40),
             },
            ),
           },
          ],
         },
         target: Variable {
          identifier: "final",
          position: (184, 5),
         },
         position: (177, 6),
        },
        position: (176, 6),
       },
       position: (19, 22),
      },
      position: (19, 15),
     },
    ),
   ],
   recursive: true,
   position: (4, 1),
  },
  position: (2, 3),
 },
 position: (1, 1),
}