---
Function {
 argument: None,
 arguments: FunctionArguments {
  arguments: [
   FunctionArgument {
    identifier: "pkgs",
    default: None,
   },
   FunctionArgument {
    identifier: "lib",
    default: None,
   },
   FunctionArgument {
    identifier: "config",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: With {
  expression: Variable {
   identifier: "lib",
   position: (3, 6),
  },
  target: LetIn {
   bindings: [
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "cfg",
        position: (7, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "config",
       position: (7, 9),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "hardware",
         position: (7, 16),
        },
        Raw {
         content: "rasdaemon",
         position: (7, 25),
        },
       ],
      },
      default: None,
     },
    ),
   ],
   target: Map {
    bindings: [
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "options",
         position: (11, 3),
        },
        Raw {
         content: "hardware",
         position: (11, 11),
        },
        Raw {
         content: "rasdaemon",
         position: (11, 20),
        },
       ],
      },
      Map {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "enable",
            position: (13, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkEnableOption",
           position: (13, 14),
          },
          arguments: [
           String {
            parts: [
             Raw {
              content: "RAS logging daemon",
              position: (13, 30),
             },
            ],
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "record",
            position: (15, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (15, 14),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (16, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (16, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "bool",
                  position: (16, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (17, 7),
                },
               ],
              },
              Variable {
               identifier: "true",
               position: (17, 17),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (18, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "record events via sqlite3, required for ras-mc-ctl",
                 position: (18, 22),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (15, 23),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "mainboard",
            position: (21, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (21, 17),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (22, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (22, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "lines",
                  position: (22, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (23, 7),
                },
               ],
              },
              String {
               parts: [],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (24, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "Custom mainboard description, see <citerefentry><refentrytitle>ras-mc-ctl</refentrytitle><manvolnum>8</manvolnum></citerefentry> for more details.",
                 position: (24, 22),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "example",
                 position: (25, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "vendor = ASRock\nmodel = B450M Pro4\n\n# it should default to such values from\n# /sys/class/dmi/id/board_[vendor|name]\n# alternatively one can supply a script\n# that returns the same format as above\n\nscript = <path to script>\n",
                 position: (26, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (21, 26),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "labels",
            position: (40, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (40, 14),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (41, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (41, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "lines",
                  position: (41, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (42, 7),
                },
               ],
              },
              String {
               parts: [],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (43, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "Additional memory module label descriptions to be placed in /etc/ras/dimm_labels.d/labels",
                 position: (43, 22),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "example",
                 position: (44, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "# vendor and model may be shown by 'ras-mc-ctl --mainboard'\nvendor: ASRock\n  product: To Be Filled By O.E.M.\n  model: B450M Pro4\n    # these labels are names for the motherboard slots\n    # the numbers may be shown by `ras-mc-ctl --error-count`\n    # they are mc:csrow:channel\n    DDR4_A1: 0.2.0;  DDR4_B1: 0.2.1;\n    DDR4_A2: 0.3.0;  DDR4_B2: 0.3.1;\n",
                 position: (45, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (40, 23),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "config",
            position: (57, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (57, 14),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (58, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (58, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "lines",
                  position: (58, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (59, 7),
                },
               ],
              },
              String {
               parts: [],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (60, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "rasdaemon configuration, currently only used for CE PFA\nfor details, read rasdaemon.outPath/etc/sysconfig/rasdaemon's comments\n",
                 position: (61, 1),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "example",
                 position: (64, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "# defaults from included config\nPAGE_CE_REFRESH_CYCLE=\"24h\"\nPAGE_CE_THRESHOLD=\"50\"\nPAGE_CE_ACTION=\"soft\"\n",
                 position: (65, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (57, 23),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "extraModules",
            position: (72, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (72, 20),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (73, 7),
                },
               ],
              },
              FunctionApplication {
               function: PropertyAccess {
                expression: Variable {
                 identifier: "types",
                 position: (73, 14),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "listOf",
                   position: (73, 20),
                  },
                 ],
                },
                default: None,
               },
               arguments: [
                PropertyAccess {
                 expression: Variable {
                  identifier: "types",
                  position: (73, 27),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "str",
                    position: (73, 33),
                   },
                  ],
                 },
                 default: None,
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (74, 7),
                },
               ],
              },
              List {
               elements: [],
               position: (74, 17),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (75, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "extra kernel modules to load",
                 position: (75, 22),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "example",
                 position: (76, 7),
                },
               ],
              },
              List {
               elements: [
                String {
                 parts: [
                  Raw {
                   content: "i7core_edac",
                   position: (76, 20),
                  },
                 ],
                },
               ],
               position: (76, 17),
              },
             ),
            ],
            recursive: false,
            position: (72, 29),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "testing",
            position: (79, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkEnableOption",
           position: (79, 15),
          },
          arguments: [
           String {
            parts: [
             Raw {
              content: "error injection infrastructure",
              position: (79, 31),
             },
            ],
           },
          ],
         },
        ),
       ],
       recursive: false,
       position: (11, 32),
      },
     ),
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "config",
         position: (82, 3),
        },
       ],
      },
      FunctionApplication {
       function: Variable {
        identifier: "mkIf",
        position: (82, 12),
       },
       arguments: [
        PropertyAccess {
         expression: Variable {
          identifier: "cfg",
          position: (82, 17),
         },
         attribute_path: AttributePath {
          attributes: [
           Raw {
            content: "enable",
            position: (82, 21),
           },
          ],
         },
         default: None,
        },
        Map {
         bindings: [
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "environment",
              position: (84, 5),
             },
             Raw {
              content: "etc",
              position: (84, 17),
             },
            ],
           },
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Expression {
                 expression: String {
                  parts: [
                   Raw {
                    content: "ras/mainboard",
                    position: (85, 8),
                   },
                  ],
                 },
                },
               ],
              },
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "enable",
                    position: (86, 9),
                   },
                  ],
                 },
                 BinaryOperation {
                  operator: NotEqualTo,
                  operands: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "cfg",
                     position: (86, 18),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "mainboard",
                       position: (86, 22),
                      },
                     ],
                    },
                    default: None,
                   },
                   String {
                    parts: [],
                   },
                  ],
                  position: (86, 32),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "text",
                    position: (87, 9),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "cfg",
                   position: (87, 16),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "mainboard",
                     position: (87, 20),
                    },
                   ],
                  },
                  default: None,
                 },
                ),
               ],
               recursive: false,
               position: (85, 25),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Expression {
                 expression: String {
                  parts: [
                   Raw {
                    content: "ras/dimm_labels.d/labels",
                    position: (90, 8),
                   },
                  ],
                 },
                },
               ],
              },
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "enable",
                    position: (91, 9),
                   },
                  ],
                 },
                 BinaryOperation {
                  operator: NotEqualTo,
                  operands: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "cfg",
                     position: (91, 18),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "labels",
                       position: (91, 22),
                      },
                     ],
                    },
                    default: None,
                   },
                   String {
                    parts: [],
                   },
                  ],
                  position: (91, 29),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "text",
                    position: (92, 9),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "cfg",
                   position: (92, 16),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "labels",
                     position: (92, 20),
                    },
                   ],
                  },
                  default: None,
                 },
                ),
               ],
               recursive: false,
               position: (90, 36),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Expression {
                 expression: String {
                  parts: [
                   Raw {
                    content: "sysconfig/rasdaemon",
                    position: (94, 8),
                   },
                  ],
                 },
                },
               ],
              },
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "enable",
                    position: (95, 9),
                   },
                  ],
                 },
                 BinaryOperation {
                  operator: NotEqualTo,
                  operands: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "cfg",
                     position: (95, 18),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "config",
                       position: (95, 22),
                      },
                     ],
                    },
                    default: None,
                   },
                   String {
                    parts: [],
                   },
                  ],
                  position: (95, 29),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "text",
                    position: (96, 9),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "cfg",
                   position: (96, 16),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "config",
                     position: (96, 20),
                    },
                   ],
                  },
                  default: None,
                 },
                ),
               ],
               recursive: false,
               position: (94, 31),
              },
             ),
            ],
            recursive: false,
            position: (84, 23),
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "environment",
              position: (99, 5),
             },
             Raw {
              content: "systemPackages",
              position: (99, 17),
             },
            ],
           },
           BinaryOperation {
            operator: Concatenation,
            operands: [
             List {
              elements: [
               PropertyAccess {
                expression: Variable {
                 identifier: "pkgs",
                 position: (99, 36),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "rasdaemon",
                   position: (99, 41),
                  },
                 ],
                },
                default: None,
               },
              ],
              position: (99, 34),
             },
             FunctionApplication {
              function: Variable {
               identifier: "optionals",
               position: (100, 10),
              },
              arguments: [
               PropertyAccess {
                expression: Variable {
                 identifier: "cfg",
                 position: (100, 21),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "testing",
                   position: (100, 25),
                  },
                 ],
                },
                default: None,
               },
               With {
                expression: PropertyAccess {
                 expression: Variable {
                  identifier: "pkgs",
                  position: (100, 40),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "error-inject",
                    position: (100, 45),
                   },
                  ],
                 },
                 default: None,
                },
                target: List {
                 elements: [
                  Variable {
                   identifier: "edac-inject",
                   position: (101, 9),
                  },
                  Variable {
                   identifier: "mce-inject",
                   position: (102, 9),
                  },
                  Variable {
                   identifier: "aer-inject",
                   position: (103, 9),
                  },
                 ],
                 position: (100, 59),
                },
                position: (100, 35),
               },
              ],
             },
            ],
            position: (100, 7),
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "boot",
              position: (106, 5),
             },
             Raw {
              content: "initrd",
              position: (106, 10),
             },
             Raw {
              content: "kernelModules",
              position: (106, 17),
             },
            ],
           },
           BinaryOperation {
            operator: Concatenation,
            operands: [
             PropertyAccess {
              expression: Variable {
               identifier: "cfg",
               position: (106, 33),
              },
              attribute_path: AttributePath {
               attributes: [
                Raw {
                 content: "extraModules",
                 position: (106, 37),
                },
               ],
              },
              default: None,
             },
             FunctionApplication {
              function: Variable {
               identifier: "optionals",
               position: (107, 10),
              },
              arguments: [
               PropertyAccess {
                expression: Variable {
                 identifier: "cfg",
                 position: (107, 21),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "testing",
                   position: (107, 25),
                  },
                 ],
                },
                default: None,
               },
               List {
                elements: [
                 String {
                  parts: [
                   Raw {
                    content: "edac_core",
                    position: (110, 10),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "amd64_edac",
                    position: (111, 10),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "i7core_edac",
                    position: (112, 10),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "mce-inject",
                    position: (113, 10),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "aer-inject",
                    position: (114, 10),
                   },
                  ],
                 },
                ],
                position: (107, 34),
               },
              ],
             },
            ],
            position: (107, 7),
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "boot",
              position: (117, 5),
             },
             Raw {
              content: "kernelPatches",
              position: (117, 10),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "optionals",
             position: (117, 26),
            },
            arguments: [
             PropertyAccess {
              expression: Variable {
               identifier: "cfg",
               position: (117, 37),
              },
              attribute_path: AttributePath {
               attributes: [
                Raw {
                 content: "testing",
                 position: (117, 41),
                },
               ],
              },
              default: None,
             },
             List {
              elements: [
               Map {
                bindings: [
                 KeyValue(
                  AttributePath {
                   attributes: [
                    Raw {
                     content: "name",
                     position: (118, 7),
                    },
                   ],
                  },
                  String {
                   parts: [
                    Raw {
                     content: "rasdaemon-tests",
                     position: (118, 15),
                    },
                   ],
                  },
                 ),
                 KeyValue(
                  AttributePath {
                   attributes: [
                    Raw {
                     content: "patch",
                     position: (119, 7),
                    },
                   ],
                  },
                  Variable {
                   identifier: "null",
                   position: (119, 15),
                  },
                 ),
                 KeyValue(
                  AttributePath {
                   attributes: [
                    Raw {
                     content: "extraConfig",
                     position: (120, 7),
                    },
                   ],
                  },
                  String {
                   parts: [
                    Raw {
                     content: "EDAC_DEBUG y\nX86_MCE_INJECT y\n\nPCIEPORTBUS y\nPCIEAER y\nPCIEAER_INJECT y\n",
                     position: (121, 1),
                    },
                   ],
                  },
                 ),
                ],
                recursive: false,
                position: (117, 51),
               },
              ],
              position: (117, 50),
             },
            ],
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "systemd",
              position: (135, 5),
             },
             Raw {
              content: "services",
              position: (135, 13),
             },
            ],
           },
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "rasdaemon",
                 position: (136, 7),
                },
               ],
              },
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (137, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "the RAS logging daemon",
                    position: (137, 24),
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "documentation",
                    position: (138, 9),
                   },
                  ],
                 },
                 List {
                  elements: [
                   String {
                    parts: [
                     Raw {
                      content: "man:rasdaemon(1)",
                      position: (138, 28),
                     },
                    ],
                   },
                  ],
                  position: (138, 25),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "wantedBy",
                    position: (139, 9),
                   },
                  ],
                 },
                 List {
                  elements: [
                   String {
                    parts: [
                     Raw {
                      content: "multi-user.target",
                      position: (139, 23),
                     },
                    ],
                   },
                  ],
                  position: (139, 20),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "serviceConfig",
                    position: (141, 9),
                   },
                  ],
                 },
                 Map {
                  bindings: [
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "StateDirectory",
                       position: (142, 11),
                      },
                     ],
                    },
                    FunctionApplication {
                     function: Variable {
                      identifier: "optionalString",
                      position: (142, 28),
                     },
                     arguments: [
                      PropertyAccess {
                       expression: Variable {
                        identifier: "cfg",
                        position: (142, 44),
                       },
                       attribute_path: AttributePath {
                        attributes: [
                         Raw {
                          content: "record",
                          position: (142, 48),
                         },
                        ],
                       },
                       default: None,
                      },
                      String {
                       parts: [
                        Raw {
                         content: "rasdaemon",
                         position: (142, 57),
                        },
                       ],
                      },
                     ],
                    },
                   ),
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "ExecStart",
                       position: (144, 11),
                      },
                     ],
                    },
                    BinaryOperation {
                     operator: Addition,
                     operands: [
                      String {
                       parts: [
                        Expression {
                         expression: PropertyAccess {
                          expression: Variable {
                           identifier: "pkgs",
                           position: (144, 26),
                          },
                          attribute_path: AttributePath {
                           attributes: [
                            Raw {
                             content: "rasdaemon",
                             position: (144, 31),
                            },
                           ],
                          },
                          default: None,
                         },
                        },
                        Raw {
                         content: "/bin/rasdaemon --foreground",
                         position: (144, 41),
                        },
                       ],
                      },
                      FunctionApplication {
                       function: Variable {
                        identifier: "optionalString",
                        position: (145, 15),
                       },
                       arguments: [
                        PropertyAccess {
                         expression: Variable {
                          identifier: "cfg",
                          position: (145, 31),
                         },
                         attribute_path: AttributePath {
                          attributes: [
                           Raw {
                            content: "record",
                            position: (145, 35),
                           },
                          ],
                         },
                         default: None,
                        },
                        String {
                         parts: [
                          Raw {
                           content: " --record",
                           position: (145, 44),
                          },
                         ],
                        },
                       ],
                      },
                     ],
                     position: (145, 13),
                    },
                   ),
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "ExecStop",
                       position: (146, 11),
                      },
                     ],
                    },
                    String {
                     parts: [
                      Expression {
                       expression: PropertyAccess {
                        expression: Variable {
                         identifier: "pkgs",
                         position: (146, 25),
                        },
                        attribute_path: AttributePath {
                         attributes: [
                          Raw {
                           content: "rasdaemon",
                           position: (146, 30),
                          },
                         ],
                        },
                        default: None,
                       },
                      },
                      Raw {
                       content: "/bin/rasdaemon --disable",
                       position: (146, 40),
                      },
                     ],
                    },
                   ),
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "Restart",
                       position: (147, 11),
                      },
                     ],
                    },
                    String {
                     parts: [
                      Raw {
                       content: "on-abort",
                       position: (147, 22),
                      },
                     ],
                    },
                   ),
                  ],
                  recursive: false,
                  position: (141, 25),
                 },
                ),
               ],
               recursive: false,
               position: (136, 19),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "ras-mc-ctl",
                 position: (155, 7),
                },
               ],
              },
              FunctionApplication {
               function: Variable {
                identifier: "mkIf",
                position: (155, 20),
               },
               arguments: [
                BinaryOperation {
                 operator: NotEqualTo,
                 operands: [
                  PropertyAccess {
                   expression: Variable {
                    identifier: "cfg",
                    position: (155, 26),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "labels",
                      position: (155, 30),
                     },
                    ],
                   },
                   default: None,
                  },
                  String {
                   parts: [],
                  },
                 ],
                 position: (155, 37),
                },
                Map {
                 bindings: [
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Raw {
                      content: "description",
                      position: (156, 9),
                     },
                    ],
                   },
                   String {
                    parts: [
                     Raw {
                      content: "register DIMM labels on startup",
                      position: (156, 24),
                     },
                    ],
                   },
                  ),
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Raw {
                      content: "documentation",
                      position: (157, 9),
                     },
                    ],
                   },
                   List {
                    elements: [
                     String {
                      parts: [
                       Raw {
                        content: "man:ras-mc-ctl(8)",
                        position: (157, 28),
                       },
                      ],
                     },
                    ],
                    position: (157, 25),
                   },
                  ),
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Raw {
                      content: "wantedBy",
                      position: (158, 9),
                     },
                    ],
                   },
                   List {
                    elements: [
                     String {
                      parts: [
                       Raw {
                        content: "multi-user.target",
                        position: (158, 23),
                       },
                      ],
                     },
                    ],
                    position: (158, 20),
                   },
                  ),
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Raw {
                      content: "serviceConfig",
                      position: (159, 9),
                     },
                    ],
                   },
                   Map {
                    bindings: [
                     KeyValue(
                      AttributePath {
                       attributes: [
                        Raw {
                         content: "Type",
                         position: (160, 11),
                        },
                       ],
                      },
                      String {
                       parts: [
                        Raw {
                         content: "oneshot",
                         position: (160, 19),
                        },
                       ],
                      },
                     ),
                     KeyValue(
                      AttributePath {
                       attributes: [
                        Raw {
                         content: "ExecStart",
                         position: (161, 11),
                        },
                       ],
                      },
                      String {
                       parts: [
                        Expression {
                         expression: PropertyAccess {
                          expression: Variable {
                           identifier: "pkgs",
                           position: (161, 26),
                          },
                          attribute_path: AttributePath {
                           attributes: [
                            Raw {
                             content: "rasdaemon",
                             position: (161, 31),
                            },
                           ],
                          },
                          default: None,
                         },
                        },
                        Raw {
                         content: "/bin/ras-mc-ctl --register-labels",
                         position: (161, 41),
                        },
                       ],
                      },
                     ),
                     KeyValue(
                      AttributePath {
                       attributes: [
                        Raw {
                         content: "RemainAfterExit",
                         position: (162, 11),
                        },
                       ],
                      },
                      Variable {
                       identifier: "true",
                       position: (162, 29),
                      },
                     ),
                    ],
                    recursive: false,
                    position: (159, 25),
                   },
                  ),
                 ],
                 recursive: false,
                 position: (155, 44),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (135, 24),
           },
          ),
         ],
         recursive: false,
         position: (82, 28),
        },
       ],
      },
     ),
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "meta",
         position: (168, 3),
        },
        Raw {
         content: "maintainers",
         position: (168, 8),
        },
       ],
      },
      List {
       elements: [
        PropertyAccess {
         expression: Variable {
          identifier: "maintainers",
          position: (168, 24),
         },
         attribute_path: AttributePath {
          attributes: [
           Raw {
            content: "evils",
            position: (168, 36),
           },
          ],
         },
         default: None,
        },
       ],
       position: (168, 22),
      },
     ),
    ],
    recursive: false,
    position: (10, 1),
   },
   position: (5, 1),
  },
  position: (3, 1),
 },
 position: (1, 1),
}