Function(
 Function {
  head: Destructured(
   FunctionHeadDestructured {
    ellipsis: false,
    identifier: None,
    arguments: [
     FunctionHeadDestructuredArgument {
      identifier: "pkgs",
      default: None,
     },
     FunctionHeadDestructuredArgument {
      identifier: "lib",
      default: None,
     },
     FunctionHeadDestructuredArgument {
      identifier: "config",
      default: None,
     },
     FunctionHeadDestructuredArgument {
      identifier: "diskSize",
      default: Some(
       String(
        String_ {
         parts: [
          Raw(
           PartRaw {
            content: "auto",
            span: Span {
             start: Position {
              line: 10,
              column: 15,
             },
             end: Position {
              line: 10,
              column: 19,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 10,
           column: 14,
          },
          end: Position {
           line: 10,
           column: 20,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "additionalSpace",
      default: Some(
       String(
        String_ {
         parts: [
          Raw(
           PartRaw {
            content: "512M",
            span: Span {
             start: Position {
              line: 14,
              column: 22,
             },
             end: Position {
              line: 14,
              column: 26,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 14,
           column: 21,
          },
          end: Position {
           line: 14,
           column: 27,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "bootSize",
      default: Some(
       String(
        String_ {
         parts: [
          Raw(
           PartRaw {
            content: "256M",
            span: Span {
             start: Position {
              line: 20,
              column: 15,
             },
             end: Position {
              line: 20,
              column: 19,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 20,
           column: 14,
          },
          end: Position {
           line: 20,
           column: 20,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "contents",
      default: Some(
       List(
        List {
         elements: [],
         span: Span {
          start: Position {
           line: 30,
           column: 14,
          },
          end: Position {
           line: 30,
           column: 16,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "partitionTableType",
      default: Some(
       String(
        String_ {
         parts: [
          Raw(
           PartRaw {
            content: "legacy",
            span: Span {
             start: Position {
              line: 45,
              column: 25,
             },
             end: Position {
              line: 45,
              column: 31,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 45,
           column: 24,
          },
          end: Position {
           line: 45,
           column: 32,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "installBootLoader",
      default: Some(
       Identifier(
        Identifier {
         id: "true",
         span: Span {
          start: Position {
           line: 48,
           column: 23,
          },
          end: Position {
           line: 48,
           column: 27,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "fsType",
      default: Some(
       String(
        String_ {
         parts: [
          Raw(
           PartRaw {
            content: "ext4",
            span: Span {
             start: Position {
              line: 51,
              column: 13,
             },
             end: Position {
              line: 51,
              column: 17,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 51,
           column: 12,
          },
          end: Position {
           line: 51,
           column: 18,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "label",
      default: Some(
       IfThenElse(
        IfThenElse {
         predicate: Identifier(
          Identifier {
           id: "onlyNixStore",
           span: Span {
            start: Position {
             line: 54,
             column: 14,
            },
            end: Position {
             line: 54,
             column: 26,
            },
           },
          },
         ),
         then: String(
          String_ {
           parts: [
            Raw(
             PartRaw {
              content: "nix-store",
              span: Span {
               start: Position {
                line: 54,
                column: 33,
               },
               end: Position {
                line: 54,
                column: 42,
               },
              },
             },
            ),
           ],
           span: Span {
            start: Position {
             line: 54,
             column: 32,
            },
            end: Position {
             line: 54,
             column: 43,
            },
           },
          },
         ),
         else_: String(
          String_ {
           parts: [
            Raw(
             PartRaw {
              content: "nixos",
              span: Span {
               start: Position {
                line: 54,
                column: 50,
               },
               end: Position {
                line: 54,
                column: 55,
               },
              },
             },
            ),
           ],
           span: Span {
            start: Position {
             line: 54,
             column: 49,
            },
            end: Position {
             line: 54,
             column: 56,
            },
           },
          },
         ),
         span: Span {
          start: Position {
           line: 54,
           column: 11,
          },
          end: Position {
           line: 54,
           column: 56,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "configFile",
      default: Some(
       Identifier(
        Identifier {
         id: "null",
         span: Span {
          start: Position {
           line: 58,
           column: 16,
          },
          end: Position {
           line: 58,
           column: 20,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "postVM",
      default: Some(
       String(
        String_ {
         parts: [],
         span: Span {
          start: Position {
           line: 61,
           column: 12,
          },
          end: Position {
           line: 61,
           column: 14,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "onlyNixStore",
      default: Some(
       Identifier(
        Identifier {
         id: "false",
         span: Span {
          start: Position {
           line: 66,
           column: 18,
          },
          end: Position {
           line: 66,
           column: 23,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "name",
      default: Some(
       String(
        String_ {
         parts: [
          Raw(
           PartRaw {
            content: "nixos-disk-image",
            span: Span {
             start: Position {
              line: 68,
              column: 11,
             },
             end: Position {
              line: 68,
              column: 27,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 68,
           column: 10,
          },
          end: Position {
           line: 68,
           column: 28,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "format",
      default: Some(
       String(
        String_ {
         parts: [
          Raw(
           PartRaw {
            content: "raw",
            span: Span {
             start: Position {
              line: 71,
              column: 13,
             },
             end: Position {
              line: 71,
              column: 16,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 71,
           column: 12,
          },
          end: Position {
           line: 71,
           column: 17,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "copyChannel",
      default: Some(
       Identifier(
        Identifier {
         id: "true",
         span: Span {
          start: Position {
           line: 77,
           column: 17,
          },
          end: Position {
           line: 77,
           column: 21,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "additionalPaths",
      default: Some(
       List(
        List {
         elements: [],
         span: Span {
          start: Position {
           line: 80,
           column: 21,
          },
          end: Position {
           line: 80,
           column: 23,
          },
         },
        },
       ),
      ),
     },
    ],
   },
  ),
  body: Assert(
   Assert {
    expression: BinaryOperation(
     BinaryOperation {
      left: BinaryOperation(
       BinaryOperation {
        left: BinaryOperation(
         BinaryOperation {
          left: BinaryOperation(
           BinaryOperation {
            left: BinaryOperation(
             BinaryOperation {
              left: Identifier(
               Identifier {
                id: "partitionTableType",
                span: Span {
                 start: Position {
                  line: 83,
                  column: 8,
                 },
                 end: Position {
                  line: 83,
                  column: 26,
                 },
                },
               },
              ),
              operator: EqualTo,
              right: String(
               String_ {
                parts: [
                 Raw(
                  PartRaw {
                   content: "legacy",
                   span: Span {
                    start: Position {
                     line: 83,
                     column: 31,
                    },
                    end: Position {
                     line: 83,
                     column: 37,
                    },
                   },
                  },
                 ),
                ],
                span: Span {
                 start: Position {
                  line: 83,
                  column: 30,
                 },
                 end: Position {
                  line: 83,
                  column: 38,
                 },
                },
               },
              ),
             },
            ),
            operator: LogicalOr,
            right: BinaryOperation(
             BinaryOperation {
              left: Identifier(
               Identifier {
                id: "partitionTableType",
                span: Span {
                 start: Position {
                  line: 83,
                  column: 42,
                 },
                 end: Position {
                  line: 83,
                  column: 60,
                 },
                },
               },
              ),
              operator: EqualTo,
              right: String(
               String_ {
                parts: [
                 Raw(
                  PartRaw {
                   content: "legacy+gpt",
                   span: Span {
                    start: Position {
                     line: 83,
                     column: 65,
                    },
                    end: Position {
                     line: 83,
                     column: 75,
                    },
                   },
                  },
                 ),
                ],
                span: Span {
                 start: Position {
                  line: 83,
                  column: 64,
                 },
                 end: Position {
                  line: 83,
                  column: 76,
                 },
                },
               },
              ),
             },
            ),
           },
          ),
          operator: LogicalOr,
          right: BinaryOperation(
           BinaryOperation {
            left: Identifier(
             Identifier {
              id: "partitionTableType",
              span: Span {
               start: Position {
                line: 83,
                column: 80,
               },
               end: Position {
                line: 83,
                column: 98,
               },
              },
             },
            ),
            operator: EqualTo,
            right: String(
             String_ {
              parts: [
               Raw(
                PartRaw {
                 content: "efi",
                 span: Span {
                  start: Position {
                   line: 83,
                   column: 103,
                  },
                  end: Position {
                   line: 83,
                   column: 106,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 83,
                column: 102,
               },
               end: Position {
                line: 83,
                column: 107,
               },
              },
             },
            ),
           },
          ),
         },
        ),
        operator: LogicalOr,
        right: BinaryOperation(
         BinaryOperation {
          left: Identifier(
           Identifier {
            id: "partitionTableType",
            span: Span {
             start: Position {
              line: 83,
              column: 111,
             },
             end: Position {
              line: 83,
              column: 129,
             },
            },
           },
          ),
          operator: EqualTo,
          right: String(
           String_ {
            parts: [
             Raw(
              PartRaw {
               content: "hybrid",
               span: Span {
                start: Position {
                 line: 83,
                 column: 134,
                },
                end: Position {
                 line: 83,
                 column: 140,
                },
               },
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 83,
              column: 133,
             },
             end: Position {
              line: 83,
              column: 141,
             },
            },
           },
          ),
         },
        ),
       },
      ),
      operator: LogicalOr,
      right: BinaryOperation(
       BinaryOperation {
        left: Identifier(
         Identifier {
          id: "partitionTableType",
          span: Span {
           start: Position {
            line: 83,
            column: 145,
           },
           end: Position {
            line: 83,
            column: 163,
           },
          },
         },
        ),
        operator: EqualTo,
        right: String(
         String_ {
          parts: [
           Raw(
            PartRaw {
             content: "none",
             span: Span {
              start: Position {
               line: 83,
               column: 168,
              },
              end: Position {
               line: 83,
               column: 172,
              },
             },
            },
           ),
          ],
          span: Span {
           start: Position {
            line: 83,
            column: 167,
           },
           end: Position {
            line: 83,
            column: 173,
           },
          },
         },
        ),
       },
      ),
     },
    ),
    target: Assert(
     Assert {
      expression: BinaryOperation(
       BinaryOperation {
        left: BinaryOperation(
         BinaryOperation {
          left: Identifier(
           Identifier {
            id: "partitionTableType",
            span: Span {
             start: Position {
              line: 85,
              column: 8,
             },
             end: Position {
              line: 85,
              column: 26,
             },
            },
           },
          ),
          operator: NotEqualTo,
          right: String(
           String_ {
            parts: [
             Raw(
              PartRaw {
               content: "none",
               span: Span {
                start: Position {
                 line: 85,
                 column: 31,
                },
                end: Position {
                 line: 85,
                 column: 35,
                },
               },
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 85,
              column: 30,
             },
             end: Position {
              line: 85,
              column: 36,
             },
            },
           },
          ),
         },
        ),
        operator: Implication,
        right: BinaryOperation(
         BinaryOperation {
          left: Identifier(
           Identifier {
            id: "fsType",
            span: Span {
             start: Position {
              line: 85,
              column: 40,
             },
             end: Position {
              line: 85,
              column: 46,
             },
            },
           },
          ),
          operator: EqualTo,
          right: String(
           String_ {
            parts: [
             Raw(
              PartRaw {
               content: "ext4",
               span: Span {
                start: Position {
                 line: 85,
                 column: 51,
                },
                end: Position {
                 line: 85,
                 column: 55,
                },
               },
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 85,
              column: 50,
             },
             end: Position {
              line: 85,
              column: 56,
             },
            },
           },
          ),
         },
        ),
       },
      ),
      target: Assert(
       Assert {
        expression: FunctionApplication(
         FunctionApplication {
          function: PropertyAccess(
           PropertyAccess {
            expression: Identifier(
             Identifier {
              id: "lib",
              span: Span {
               start: Position {
                line: 87,
                column: 8,
               },
               end: Position {
                line: 87,
                column: 11,
               },
              },
             },
            ),
            attribute_path: [
             Raw(
              PartRaw {
               content: "all",
               span: Span {
                start: Position {
                 line: 87,
                 column: 12,
                },
                end: Position {
                 line: 87,
                 column: 15,
                },
               },
              },
             ),
            ],
            default: None,
           },
          ),
          arguments: [
           Function(
            Function {
             head: Simple(
              FunctionHeadSimple {
               identifier: "attrs",
              },
             ),
             body: BinaryOperation(
              BinaryOperation {
               left: BinaryOperation(
                BinaryOperation {
                 left: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "attrs",
                     span: Span {
                      start: Position {
                       line: 88,
                       column: 20,
                      },
                      end: Position {
                       line: 88,
                       column: 25,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "user",
                      span: Span {
                       start: Position {
                        line: 88,
                        column: 26,
                       },
                       end: Position {
                        line: 88,
                        column: 30,
                       },
                      },
                     },
                    ),
                   ],
                   default: Some(
                    Identifier(
                     Identifier {
                      id: "null",
                      span: Span {
                       start: Position {
                        line: 88,
                        column: 35,
                       },
                       end: Position {
                        line: 88,
                        column: 39,
                       },
                      },
                     },
                    ),
                   ),
                  },
                 ),
                 operator: EqualTo,
                 right: Identifier(
                  Identifier {
                   id: "null",
                   span: Span {
                    start: Position {
                     line: 88,
                     column: 44,
                    },
                    end: Position {
                     line: 88,
                     column: 48,
                    },
                   },
                  },
                 ),
                },
               ),
               operator: EqualTo,
               right: BinaryOperation(
                BinaryOperation {
                 left: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "attrs",
                     span: Span {
                      start: Position {
                       line: 89,
                       column: 20,
                      },
                      end: Position {
                       line: 89,
                       column: 25,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "group",
                      span: Span {
                       start: Position {
                        line: 89,
                        column: 26,
                       },
                       end: Position {
                        line: 89,
                        column: 31,
                       },
                      },
                     },
                    ),
                   ],
                   default: Some(
                    Identifier(
                     Identifier {
                      id: "null",
                      span: Span {
                       start: Position {
                        line: 89,
                        column: 35,
                       },
                       end: Position {
                        line: 89,
                        column: 39,
                       },
                      },
                     },
                    ),
                   ),
                  },
                 ),
                 operator: EqualTo,
                 right: Identifier(
                  Identifier {
                   id: "null",
                   span: Span {
                    start: Position {
                     line: 89,
                     column: 44,
                    },
                    end: Position {
                     line: 89,
                     column: 48,
                    },
                   },
                  },
                 ),
                },
               ),
              },
             ),
             span: Span {
              start: Position {
               line: 88,
               column: 11,
              },
              end: Position {
               line: 89,
               column: 49,
              },
             },
            },
           ),
           Identifier(
            Identifier {
             id: "contents",
             span: Span {
              start: Position {
               line: 90,
               column: 10,
              },
              end: Position {
               line: 90,
               column: 18,
              },
             },
            },
           ),
          ],
         },
        ),
        target: Assert(
         Assert {
          expression: BinaryOperation(
           BinaryOperation {
            left: Identifier(
             Identifier {
              id: "onlyNixStore",
              span: Span {
               start: Position {
                line: 91,
                column: 8,
               },
               end: Position {
                line: 91,
                column: 20,
               },
              },
             },
            ),
            operator: Implication,
            right: BinaryOperation(
             BinaryOperation {
              left: BinaryOperation(
               BinaryOperation {
                left: BinaryOperation(
                 BinaryOperation {
                  left: Identifier(
                   Identifier {
                    id: "contents",
                    span: Span {
                     start: Position {
                      line: 91,
                      column: 24,
                     },
                     end: Position {
                      line: 91,
                      column: 32,
                     },
                    },
                   },
                  ),
                  operator: EqualTo,
                  right: List(
                   List {
                    elements: [],
                    span: Span {
                     start: Position {
                      line: 91,
                      column: 36,
                     },
                     end: Position {
                      line: 91,
                      column: 38,
                     },
                    },
                   },
                  ),
                 },
                ),
                operator: LogicalAnd,
                right: BinaryOperation(
                 BinaryOperation {
                  left: Identifier(
                   Identifier {
                    id: "configFile",
                    span: Span {
                     start: Position {
                      line: 91,
                      column: 42,
                     },
                     end: Position {
                      line: 91,
                      column: 52,
                     },
                    },
                   },
                  ),
                  operator: EqualTo,
                  right: Identifier(
                   Identifier {
                    id: "null",
                    span: Span {
                     start: Position {
                      line: 91,
                      column: 56,
                     },
                     end: Position {
                      line: 91,
                      column: 60,
                     },
                    },
                   },
                  ),
                 },
                ),
               },
              ),
              operator: LogicalAnd,
              right: UnaryOperation(
               UnaryOperation {
                operator: Not,
                operand: Identifier(
                 Identifier {
                  id: "installBootLoader",
                  span: Span {
                   start: Position {
                    line: 91,
                    column: 65,
                   },
                   end: Position {
                    line: 91,
                    column: 82,
                   },
                  },
                 },
                ),
                span: Span {
                 start: Position {
                  line: 91,
                  column: 64,
                 },
                 end: Position {
                  line: 91,
                  column: 82,
                 },
                },
               },
              ),
             },
            ),
           },
          ),
          target: With(
           With {
            expression: Identifier(
             Identifier {
              id: "lib",
              span: Span {
               start: Position {
                line: 93,
                column: 6,
               },
               end: Position {
                line: 93,
                column: 9,
               },
              },
             },
            ),
            target: LetIn(
             LetIn {
              bindings: [
               KeyValue(
                BindingKeyValue {
                 from: [
                  Raw(
                   PartRaw {
                    content: "format'",
                    span: Span {
                     start: Position {
                      line: 95,
                      column: 5,
                     },
                     end: Position {
                      line: 95,
                      column: 12,
                     },
                    },
                   },
                  ),
                 ],
                 to: Identifier(
                  Identifier {
                   id: "format",
                   span: Span {
                    start: Position {
                     line: 95,
                     column: 15,
                    },
                    end: Position {
                     line: 95,
                     column: 21,
                    },
                   },
                  },
                 ),
                },
               ),
              ],
              target: LetIn(
               LetIn {
                bindings: [
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "format",
                      span: Span {
                       start: Position {
                        line: 97,
                        column: 3,
                       },
                       end: Position {
                        line: 97,
                        column: 9,
                       },
                      },
                     },
                    ),
                   ],
                   to: IfThenElse(
                    IfThenElse {
                     predicate: BinaryOperation(
                      BinaryOperation {
                       left: Identifier(
                        Identifier {
                         id: "format'",
                         span: Span {
                          start: Position {
                           line: 97,
                           column: 15,
                          },
                          end: Position {
                           line: 97,
                           column: 22,
                          },
                         },
                        },
                       ),
                       operator: EqualTo,
                       right: String(
                        String_ {
                         parts: [
                          Raw(
                           PartRaw {
                            content: "qcow2-compressed",
                            span: Span {
                             start: Position {
                              line: 97,
                              column: 27,
                             },
                             end: Position {
                              line: 97,
                              column: 43,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 97,
                           column: 26,
                          },
                          end: Position {
                           line: 97,
                           column: 44,
                          },
                         },
                        },
                       ),
                      },
                     ),
                     then: String(
                      String_ {
                       parts: [
                        Raw(
                         PartRaw {
                          content: "qcow2",
                          span: Span {
                           start: Position {
                            line: 97,
                            column: 51,
                           },
                           end: Position {
                            line: 97,
                            column: 56,
                           },
                          },
                         },
                        ),
                       ],
                       span: Span {
                        start: Position {
                         line: 97,
                         column: 50,
                        },
                        end: Position {
                         line: 97,
                         column: 57,
                        },
                       },
                      },
                     ),
                     else_: Identifier(
                      Identifier {
                       id: "format'",
                       span: Span {
                        start: Position {
                         line: 97,
                         column: 63,
                        },
                        end: Position {
                         line: 97,
                         column: 70,
                        },
                       },
                      },
                     ),
                     span: Span {
                      start: Position {
                       line: 97,
                       column: 12,
                      },
                      end: Position {
                       line: 97,
                       column: 70,
                      },
                     },
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "compress",
                      span: Span {
                       start: Position {
                        line: 99,
                        column: 3,
                       },
                       end: Position {
                        line: 99,
                        column: 11,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: Identifier(
                      Identifier {
                       id: "optionalString",
                       span: Span {
                        start: Position {
                         line: 99,
                         column: 14,
                        },
                        end: Position {
                         line: 99,
                         column: 28,
                        },
                       },
                      },
                     ),
                     arguments: [
                      BinaryOperation(
                       BinaryOperation {
                        left: Identifier(
                         Identifier {
                          id: "format'",
                          span: Span {
                           start: Position {
                            line: 99,
                            column: 30,
                           },
                           end: Position {
                            line: 99,
                            column: 37,
                           },
                          },
                         },
                        ),
                        operator: EqualTo,
                        right: String(
                         String_ {
                          parts: [
                           Raw(
                            PartRaw {
                             content: "qcow2-compressed",
                             span: Span {
                              start: Position {
                               line: 99,
                               column: 42,
                              },
                              end: Position {
                               line: 99,
                               column: 58,
                              },
                             },
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 99,
                            column: 41,
                           },
                           end: Position {
                            line: 99,
                            column: 59,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      String(
                       String_ {
                        parts: [
                         Raw(
                          PartRaw {
                           content: "-c",
                           span: Span {
                            start: Position {
                             line: 99,
                             column: 62,
                            },
                            end: Position {
                             line: 99,
                             column: 64,
                            },
                           },
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 99,
                          column: 61,
                         },
                         end: Position {
                          line: 99,
                          column: 65,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "filename",
                      span: Span {
                       start: Position {
                        line: 101,
                        column: 3,
                       },
                       end: Position {
                        line: 101,
                        column: 11,
                       },
                      },
                     },
                    ),
                   ],
                   to: BinaryOperation(
                    BinaryOperation {
                     left: String(
                      String_ {
                       parts: [
                        Raw(
                         PartRaw {
                          content: "nixos.",
                          span: Span {
                           start: Position {
                            line: 101,
                            column: 15,
                           },
                           end: Position {
                            line: 101,
                            column: 21,
                           },
                          },
                         },
                        ),
                       ],
                       span: Span {
                        start: Position {
                         line: 101,
                         column: 14,
                        },
                        end: Position {
                         line: 101,
                         column: 22,
                        },
                       },
                      },
                     ),
                     operator: Addition,
                     right: PropertyAccess(
                      PropertyAccess {
                       expression: Map(
                        Map {
                         recursive: false,
                         bindings: [
                          KeyValue(
                           BindingKeyValue {
                            from: [
                             Raw(
                              PartRaw {
                               content: "qcow2",
                               span: Span {
                                start: Position {
                                 line: 102,
                                 column: 5,
                                },
                                end: Position {
                                 line: 102,
                                 column: 10,
                                },
                               },
                              },
                             ),
                            ],
                            to: String(
                             String_ {
                              parts: [
                               Raw(
                                PartRaw {
                                 content: "qcow2",
                                 span: Span {
                                  start: Position {
                                   line: 102,
                                   column: 14,
                                  },
                                  end: Position {
                                   line: 102,
                                   column: 19,
                                  },
                                 },
                                },
                               ),
                              ],
                              span: Span {
                               start: Position {
                                line: 102,
                                column: 13,
                               },
                               end: Position {
                                line: 102,
                                column: 20,
                               },
                              },
                             },
                            ),
                           },
                          ),
                          KeyValue(
                           BindingKeyValue {
                            from: [
                             Raw(
                              PartRaw {
                               content: "vdi",
                               span: Span {
                                start: Position {
                                 line: 103,
                                 column: 5,
                                },
                                end: Position {
                                 line: 103,
                                 column: 8,
                                },
                               },
                              },
                             ),
                            ],
                            to: String(
                             String_ {
                              parts: [
                               Raw(
                                PartRaw {
                                 content: "vdi",
                                 span: Span {
                                  start: Position {
                                   line: 103,
                                   column: 14,
                                  },
                                  end: Position {
                                   line: 103,
                                   column: 17,
                                  },
                                 },
                                },
                               ),
                              ],
                              span: Span {
                               start: Position {
                                line: 103,
                                column: 13,
                               },
                               end: Position {
                                line: 103,
                                column: 18,
                               },
                              },
                             },
                            ),
                           },
                          ),
                          KeyValue(
                           BindingKeyValue {
                            from: [
                             Raw(
                              PartRaw {
                               content: "vpc",
                               span: Span {
                                start: Position {
                                 line: 104,
                                 column: 5,
                                },
                                end: Position {
                                 line: 104,
                                 column: 8,
                                },
                               },
                              },
                             ),
                            ],
                            to: String(
                             String_ {
                              parts: [
                               Raw(
                                PartRaw {
                                 content: "vhd",
                                 span: Span {
                                  start: Position {
                                   line: 104,
                                   column: 14,
                                  },
                                  end: Position {
                                   line: 104,
                                   column: 17,
                                  },
                                 },
                                },
                               ),
                              ],
                              span: Span {
                               start: Position {
                                line: 104,
                                column: 13,
                               },
                               end: Position {
                                line: 104,
                                column: 18,
                               },
                              },
                             },
                            ),
                           },
                          ),
                          KeyValue(
                           BindingKeyValue {
                            from: [
                             Raw(
                              PartRaw {
                               content: "raw",
                               span: Span {
                                start: Position {
                                 line: 105,
                                 column: 5,
                                },
                                end: Position {
                                 line: 105,
                                 column: 8,
                                },
                               },
                              },
                             ),
                            ],
                            to: String(
                             String_ {
                              parts: [
                               Raw(
                                PartRaw {
                                 content: "img",
                                 span: Span {
                                  start: Position {
                                   line: 105,
                                   column: 14,
                                  },
                                  end: Position {
                                   line: 105,
                                   column: 17,
                                  },
                                 },
                                },
                               ),
                              ],
                              span: Span {
                               start: Position {
                                line: 105,
                                column: 13,
                               },
                               end: Position {
                                line: 105,
                                column: 18,
                               },
                              },
                             },
                            ),
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 101,
                           column: 25,
                          },
                          end: Position {
                           line: 106,
                           column: 4,
                          },
                         },
                        },
                       ),
                       attribute_path: [
                        Interpolation(
                         PartInterpolation {
                          expression: Identifier(
                           Identifier {
                            id: "format",
                            span: Span {
                             start: Position {
                              line: 106,
                              column: 7,
                             },
                             end: Position {
                              line: 106,
                              column: 13,
                             },
                            },
                           },
                          ),
                         },
                        ),
                       ],
                       default: Some(
                        Identifier(
                         Identifier {
                          id: "format",
                          span: Span {
                           start: Position {
                            line: 106,
                            column: 18,
                           },
                           end: Position {
                            line: 106,
                            column: 24,
                           },
                          },
                         },
                        ),
                       ),
                      },
                     ),
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "rootPartition",
                      span: Span {
                       start: Position {
                        line: 108,
                        column: 3,
                       },
                       end: Position {
                        line: 108,
                        column: 16,
                       },
                      },
                     },
                    ),
                   ],
                   to: PropertyAccess(
                    PropertyAccess {
                     expression: Map(
                      Map {
                       recursive: false,
                       bindings: [
                        KeyValue(
                         BindingKeyValue {
                          from: [
                           Raw(
                            PartRaw {
                             content: "legacy",
                             span: Span {
                              start: Position {
                               line: 109,
                               column: 5,
                              },
                              end: Position {
                               line: 109,
                               column: 11,
                              },
                             },
                            },
                           ),
                          ],
                          to: String(
                           String_ {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "1",
                               span: Span {
                                start: Position {
                                 line: 109,
                                 column: 15,
                                },
                                end: Position {
                                 line: 109,
                                 column: 16,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 109,
                              column: 14,
                             },
                             end: Position {
                              line: 109,
                              column: 17,
                             },
                            },
                           },
                          ),
                         },
                        ),
                        KeyValue(
                         BindingKeyValue {
                          from: [
                           Expression(
                            PartExpression {
                             expression: String(
                              String_ {
                               parts: [
                                Raw(
                                 PartRaw {
                                  content: "legacy+gpt",
                                  span: Span {
                                   start: Position {
                                    line: 110,
                                    column: 6,
                                   },
                                   end: Position {
                                    line: 110,
                                    column: 16,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 110,
                                 column: 5,
                                },
                                end: Position {
                                 line: 110,
                                 column: 17,
                                },
                               },
                              },
                             ),
                            },
                           ),
                          ],
                          to: String(
                           String_ {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "2",
                               span: Span {
                                start: Position {
                                 line: 110,
                                 column: 21,
                                },
                                end: Position {
                                 line: 110,
                                 column: 22,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 110,
                              column: 20,
                             },
                             end: Position {
                              line: 110,
                              column: 23,
                             },
                            },
                           },
                          ),
                         },
                        ),
                        KeyValue(
                         BindingKeyValue {
                          from: [
                           Raw(
                            PartRaw {
                             content: "efi",
                             span: Span {
                              start: Position {
                               line: 111,
                               column: 5,
                              },
                              end: Position {
                               line: 111,
                               column: 8,
                              },
                             },
                            },
                           ),
                          ],
                          to: String(
                           String_ {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "2",
                               span: Span {
                                start: Position {
                                 line: 111,
                                 column: 12,
                                },
                                end: Position {
                                 line: 111,
                                 column: 13,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 111,
                              column: 11,
                             },
                             end: Position {
                              line: 111,
                              column: 14,
                             },
                            },
                           },
                          ),
                         },
                        ),
                        KeyValue(
                         BindingKeyValue {
                          from: [
                           Raw(
                            PartRaw {
                             content: "hybrid",
                             span: Span {
                              start: Position {
                               line: 112,
                               column: 5,
                              },
                              end: Position {
                               line: 112,
                               column: 11,
                              },
                             },
                            },
                           ),
                          ],
                          to: String(
                           String_ {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "3",
                               span: Span {
                                start: Position {
                                 line: 112,
                                 column: 15,
                                },
                                end: Position {
                                 line: 112,
                                 column: 16,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 112,
                              column: 14,
                             },
                             end: Position {
                              line: 112,
                              column: 17,
                             },
                            },
                           },
                          ),
                         },
                        ),
                       ],
                       span: Span {
                        start: Position {
                         line: 108,
                         column: 19,
                        },
                        end: Position {
                         line: 113,
                         column: 4,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Interpolation(
                       PartInterpolation {
                        expression: Identifier(
                         Identifier {
                          id: "partitionTableType",
                          span: Span {
                           start: Position {
                            line: 113,
                            column: 7,
                           },
                           end: Position {
                            line: 113,
                            column: 25,
                           },
                          },
                         },
                        ),
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "partitionDiskScript",
                      span: Span {
                       start: Position {
                        line: 115,
                        column: 3,
                       },
                       end: Position {
                        line: 115,
                        column: 22,
                       },
                      },
                     },
                    ),
                   ],
                   to: PropertyAccess(
                    PropertyAccess {
                     expression: Map(
                      Map {
                       recursive: false,
                       bindings: [
                        KeyValue(
                         BindingKeyValue {
                          from: [
                           Raw(
                            PartRaw {
                             content: "legacy",
                             span: Span {
                              start: Position {
                               line: 116,
                               column: 5,
                              },
                              end: Position {
                               line: 116,
                               column: 11,
                              },
                             },
                            },
                           ),
                          ],
                          to: IndentedString(
                           IndentedString {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "parted --script $diskImage -- \\\n  mklabel msdos \\\n  mkpart primary ext4 1MiB -1\n",
                               span: Span {
                                start: Position {
                                 line: 117,
                                 column: 1,
                                },
                                end: Position {
                                 line: 120,
                                 column: 5,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 116,
                              column: 14,
                             },
                             end: Position {
                              line: 120,
                              column: 7,
                             },
                            },
                           },
                          ),
                         },
                        ),
                        KeyValue(
                         BindingKeyValue {
                          from: [
                           Expression(
                            PartExpression {
                             expression: String(
                              String_ {
                               parts: [
                                Raw(
                                 PartRaw {
                                  content: "legacy+gpt",
                                  span: Span {
                                   start: Position {
                                    line: 121,
                                    column: 6,
                                   },
                                   end: Position {
                                    line: 121,
                                    column: 16,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 121,
                                 column: 5,
                                },
                                end: Position {
                                 line: 121,
                                 column: 17,
                                },
                               },
                              },
                             ),
                            },
                           ),
                          ],
                          to: IndentedString(
                           IndentedString {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "parted --script $diskImage -- \\\n  mklabel gpt \\\n  mkpart no-fs 1MB 2MB \\\n  set 1 bios_grub on \\\n  align-check optimal 1 \\\n  mkpart primary ext4 2MB -1 \\\n  align-check optimal 2 \\\n  print\n",
                               span: Span {
                                start: Position {
                                 line: 122,
                                 column: 1,
                                },
                                end: Position {
                                 line: 130,
                                 column: 5,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 121,
                              column: 20,
                             },
                             end: Position {
                              line: 130,
                              column: 7,
                             },
                            },
                           },
                          ),
                         },
                        ),
                        KeyValue(
                         BindingKeyValue {
                          from: [
                           Raw(
                            PartRaw {
                             content: "efi",
                             span: Span {
                              start: Position {
                               line: 131,
                               column: 5,
                              },
                              end: Position {
                               line: 131,
                               column: 8,
                              },
                             },
                            },
                           ),
                          ],
                          to: IndentedString(
                           IndentedString {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "parted --script $diskImage -- \\\n  mklabel gpt \\\n  mkpart ESP fat32 8MiB ",
                               span: Span {
                                start: Position {
                                 line: 132,
                                 column: 1,
                                },
                                end: Position {
                                 line: 134,
                                 column: 31,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "bootSize",
                                 span: Span {
                                  start: Position {
                                   line: 134,
                                   column: 33,
                                  },
                                  end: Position {
                                   line: 134,
                                   column: 41,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " \\\n  set 1 boot on \\\n  mkpart primary ext4 ",
                               span: Span {
                                start: Position {
                                 line: 132,
                                 column: 1,
                                },
                                end: Position {
                                 line: 136,
                                 column: 29,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "bootSize",
                                 span: Span {
                                  start: Position {
                                   line: 136,
                                   column: 31,
                                  },
                                  end: Position {
                                   line: 136,
                                   column: 39,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " -1\n",
                               span: Span {
                                start: Position {
                                 line: 132,
                                 column: 1,
                                },
                                end: Position {
                                 line: 137,
                                 column: 5,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 131,
                              column: 11,
                             },
                             end: Position {
                              line: 137,
                              column: 7,
                             },
                            },
                           },
                          ),
                         },
                        ),
                        KeyValue(
                         BindingKeyValue {
                          from: [
                           Raw(
                            PartRaw {
                             content: "hybrid",
                             span: Span {
                              start: Position {
                               line: 138,
                               column: 5,
                              },
                              end: Position {
                               line: 138,
                               column: 11,
                              },
                             },
                            },
                           ),
                          ],
                          to: IndentedString(
                           IndentedString {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "parted --script $diskImage -- \\\n  mklabel gpt \\\n  mkpart ESP fat32 8MiB ",
                               span: Span {
                                start: Position {
                                 line: 139,
                                 column: 1,
                                },
                                end: Position {
                                 line: 141,
                                 column: 31,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "bootSize",
                                 span: Span {
                                  start: Position {
                                   line: 141,
                                   column: 33,
                                  },
                                  end: Position {
                                   line: 141,
                                   column: 41,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " \\\n  set 1 boot on \\\n  mkpart no-fs 0 1024KiB \\\n  set 2 bios_grub on \\\n  mkpart primary ext4 ",
                               span: Span {
                                start: Position {
                                 line: 139,
                                 column: 1,
                                },
                                end: Position {
                                 line: 145,
                                 column: 29,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "bootSize",
                                 span: Span {
                                  start: Position {
                                   line: 145,
                                   column: 31,
                                  },
                                  end: Position {
                                   line: 145,
                                   column: 39,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " -1\n",
                               span: Span {
                                start: Position {
                                 line: 139,
                                 column: 1,
                                },
                                end: Position {
                                 line: 146,
                                 column: 5,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 138,
                              column: 14,
                             },
                             end: Position {
                              line: 146,
                              column: 7,
                             },
                            },
                           },
                          ),
                         },
                        ),
                        KeyValue(
                         BindingKeyValue {
                          from: [
                           Raw(
                            PartRaw {
                             content: "none",
                             span: Span {
                              start: Position {
                               line: 147,
                               column: 5,
                              },
                              end: Position {
                               line: 147,
                               column: 9,
                              },
                             },
                            },
                           ),
                          ],
                          to: String(
                           String_ {
                            parts: [],
                            span: Span {
                             start: Position {
                              line: 147,
                              column: 12,
                             },
                             end: Position {
                              line: 147,
                              column: 14,
                             },
                            },
                           },
                          ),
                         },
                        ),
                       ],
                       span: Span {
                        start: Position {
                         line: 115,
                         column: 25,
                        },
                        end: Position {
                         line: 148,
                         column: 4,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Interpolation(
                       PartInterpolation {
                        expression: Identifier(
                         Identifier {
                          id: "partitionTableType",
                          span: Span {
                           start: Position {
                            line: 148,
                            column: 7,
                           },
                           end: Position {
                            line: 148,
                            column: 25,
                           },
                          },
                         },
                        ),
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "nixpkgs",
                      span: Span {
                       start: Position {
                        line: 150,
                        column: 3,
                       },
                       end: Position {
                        line: 150,
                        column: 10,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: Identifier(
                      Identifier {
                       id: "cleanSource",
                       span: Span {
                        start: Position {
                         line: 150,
                         column: 13,
                        },
                        end: Position {
                         line: 150,
                         column: 24,
                        },
                       },
                      },
                     ),
                     arguments: [
                      PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "pkgs",
                          span: Span {
                           start: Position {
                            line: 150,
                            column: 25,
                           },
                           end: Position {
                            line: 150,
                            column: 29,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "path",
                           span: Span {
                            start: Position {
                             line: 150,
                             column: 30,
                            },
                            end: Position {
                             line: 150,
                             column: 34,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "channelSources",
                      span: Span {
                       start: Position {
                        line: 153,
                        column: 3,
                       },
                       end: Position {
                        line: 153,
                        column: 17,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: PropertyAccess(
                      PropertyAccess {
                       expression: Identifier(
                        Identifier {
                         id: "pkgs",
                         span: Span {
                          start: Position {
                           line: 153,
                           column: 20,
                          },
                          end: Position {
                           line: 153,
                           column: 24,
                          },
                         },
                        },
                       ),
                       attribute_path: [
                        Raw(
                         PartRaw {
                          content: "runCommand",
                          span: Span {
                           start: Position {
                            line: 153,
                            column: 25,
                           },
                           end: Position {
                            line: 153,
                            column: 35,
                           },
                          },
                         },
                        ),
                       ],
                       default: None,
                      },
                     ),
                     arguments: [
                      String(
                       String_ {
                        parts: [
                         Raw(
                          PartRaw {
                           content: "nixos-",
                           span: Span {
                            start: Position {
                             line: 153,
                             column: 37,
                            },
                            end: Position {
                             line: 153,
                             column: 73,
                            },
                           },
                          },
                         ),
                         Interpolation(
                          PartInterpolation {
                           expression: PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "config",
                               span: Span {
                                start: Position {
                                 line: 153,
                                 column: 45,
                                },
                                end: Position {
                                 line: 153,
                                 column: 51,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "system",
                                span: Span {
                                 start: Position {
                                  line: 153,
                                  column: 52,
                                 },
                                 end: Position {
                                  line: 153,
                                  column: 58,
                                 },
                                },
                               },
                              ),
                              Raw(
                               PartRaw {
                                content: "nixos",
                                span: Span {
                                 start: Position {
                                  line: 153,
                                  column: 59,
                                 },
                                 end: Position {
                                  line: 153,
                                  column: 64,
                                 },
                                },
                               },
                              ),
                              Raw(
                               PartRaw {
                                content: "version",
                                span: Span {
                                 start: Position {
                                  line: 153,
                                  column: 65,
                                 },
                                 end: Position {
                                  line: 153,
                                  column: 72,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 153,
                          column: 36,
                         },
                         end: Position {
                          line: 153,
                          column: 74,
                         },
                        },
                       },
                      ),
                      Map(
                       Map {
                        recursive: false,
                        bindings: [],
                        span: Span {
                         start: Position {
                          line: 153,
                          column: 75,
                         },
                         end: Position {
                          line: 153,
                          column: 77,
                         },
                        },
                       },
                      ),
                      IndentedString(
                       IndentedString {
                        parts: [
                         Raw(
                          PartRaw {
                           content: "mkdir -p $out\ncp -prd ",
                           span: Span {
                            start: Position {
                             line: 154,
                             column: 1,
                            },
                            end: Position {
                             line: 155,
                             column: 13,
                            },
                           },
                          },
                         ),
                         Interpolation(
                          PartInterpolation {
                           expression: PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "nixpkgs",
                               span: Span {
                                start: Position {
                                 line: 155,
                                 column: 15,
                                },
                                end: Position {
                                 line: 155,
                                 column: 22,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "outPath",
                                span: Span {
                                 start: Position {
                                  line: 155,
                                  column: 23,
                                 },
                                 end: Position {
                                  line: 155,
                                  column: 30,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                          },
                         ),
                         Raw(
                          PartRaw {
                           content: " $out/nixos\nchmod -R u+w $out/nixos\nif [ ! -e $out/nixos/nixpkgs ]; then\n  ln -s . $out/nixos/nixpkgs\nfi\nrm -rf $out/nixos/.git\necho -n ",
                           span: Span {
                            start: Position {
                             line: 154,
                             column: 1,
                            },
                            end: Position {
                             line: 161,
                             column: 13,
                            },
                           },
                          },
                         ),
                         Interpolation(
                          PartInterpolation {
                           expression: PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "config",
                               span: Span {
                                start: Position {
                                 line: 161,
                                 column: 15,
                                },
                                end: Position {
                                 line: 161,
                                 column: 21,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "system",
                                span: Span {
                                 start: Position {
                                  line: 161,
                                  column: 22,
                                 },
                                 end: Position {
                                  line: 161,
                                  column: 28,
                                 },
                                },
                               },
                              ),
                              Raw(
                               PartRaw {
                                content: "nixos",
                                span: Span {
                                 start: Position {
                                  line: 161,
                                  column: 29,
                                 },
                                 end: Position {
                                  line: 161,
                                  column: 34,
                                 },
                                },
                               },
                              ),
                              Raw(
                               PartRaw {
                                content: "versionSuffix",
                                span: Span {
                                 start: Position {
                                  line: 161,
                                  column: 35,
                                 },
                                 end: Position {
                                  line: 161,
                                  column: 48,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                          },
                         ),
                         Raw(
                          PartRaw {
                           content: " > $out/nixos/.version-suffix\n",
                           span: Span {
                            start: Position {
                             line: 154,
                             column: 1,
                            },
                            end: Position {
                             line: 162,
                             column: 3,
                            },
                           },
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 153,
                          column: 78,
                         },
                         end: Position {
                          line: 162,
                          column: 5,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "binPath",
                      span: Span {
                       start: Position {
                        line: 164,
                        column: 3,
                       },
                       end: Position {
                        line: 164,
                        column: 10,
                       },
                      },
                     },
                    ),
                   ],
                   to: With(
                    With {
                     expression: Identifier(
                      Identifier {
                       id: "pkgs",
                       span: Span {
                        start: Position {
                         line: 164,
                         column: 18,
                        },
                        end: Position {
                         line: 164,
                         column: 22,
                        },
                       },
                      },
                     ),
                     target: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "makeBinPath",
                         span: Span {
                          start: Position {
                           line: 164,
                           column: 24,
                          },
                          end: Position {
                           line: 164,
                           column: 35,
                          },
                         },
                        },
                       ),
                       arguments: [
                        BinaryOperation(
                         BinaryOperation {
                          left: List(
                           List {
                            elements: [
                             Identifier(
                              Identifier {
                               id: "rsync",
                               span: Span {
                                start: Position {
                                 line: 165,
                                 column: 7,
                                },
                                end: Position {
                                 line: 165,
                                 column: 12,
                                },
                               },
                              },
                             ),
                             Identifier(
                              Identifier {
                               id: "util-linux",
                               span: Span {
                                start: Position {
                                 line: 166,
                                 column: 7,
                                },
                                end: Position {
                                 line: 166,
                                 column: 17,
                                },
                               },
                              },
                             ),
                             Identifier(
                              Identifier {
                               id: "parted",
                               span: Span {
                                start: Position {
                                 line: 167,
                                 column: 7,
                                },
                                end: Position {
                                 line: 167,
                                 column: 13,
                                },
                               },
                              },
                             ),
                             Identifier(
                              Identifier {
                               id: "e2fsprogs",
                               span: Span {
                                start: Position {
                                 line: 168,
                                 column: 7,
                                },
                                end: Position {
                                 line: 168,
                                 column: 16,
                                },
                               },
                              },
                             ),
                             Identifier(
                              Identifier {
                               id: "lkl",
                               span: Span {
                                start: Position {
                                 line: 169,
                                 column: 7,
                                },
                                end: Position {
                                 line: 169,
                                 column: 10,
                                },
                               },
                              },
                             ),
                             PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "config",
                                 span: Span {
                                  start: Position {
                                   line: 170,
                                   column: 7,
                                  },
                                  end: Position {
                                   line: 170,
                                   column: 13,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "system",
                                  span: Span {
                                   start: Position {
                                    line: 170,
                                    column: 14,
                                   },
                                   end: Position {
                                    line: 170,
                                    column: 20,
                                   },
                                  },
                                 },
                                ),
                                Raw(
                                 PartRaw {
                                  content: "build",
                                  span: Span {
                                   start: Position {
                                    line: 170,
                                    column: 21,
                                   },
                                   end: Position {
                                    line: 170,
                                    column: 26,
                                   },
                                  },
                                 },
                                ),
                                Raw(
                                 PartRaw {
                                  content: "nixos-install",
                                  span: Span {
                                   start: Position {
                                    line: 170,
                                    column: 27,
                                   },
                                   end: Position {
                                    line: 170,
                                    column: 40,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                             PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "config",
                                 span: Span {
                                  start: Position {
                                   line: 171,
                                   column: 7,
                                  },
                                  end: Position {
                                   line: 171,
                                   column: 13,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "system",
                                  span: Span {
                                   start: Position {
                                    line: 171,
                                    column: 14,
                                   },
                                   end: Position {
                                    line: 171,
                                    column: 20,
                                   },
                                  },
                                 },
                                ),
                                Raw(
                                 PartRaw {
                                  content: "build",
                                  span: Span {
                                   start: Position {
                                    line: 171,
                                    column: 21,
                                   },
                                   end: Position {
                                    line: 171,
                                    column: 26,
                                   },
                                  },
                                 },
                                ),
                                Raw(
                                 PartRaw {
                                  content: "nixos-enter",
                                  span: Span {
                                   start: Position {
                                    line: 171,
                                    column: 27,
                                   },
                                   end: Position {
                                    line: 171,
                                    column: 38,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                             Identifier(
                              Identifier {
                               id: "nix",
                               span: Span {
                                start: Position {
                                 line: 172,
                                 column: 7,
                                },
                                end: Position {
                                 line: 172,
                                 column: 10,
                                },
                               },
                              },
                             ),
                             Identifier(
                              Identifier {
                               id: "systemdMinimal",
                               span: Span {
                                start: Position {
                                 line: 173,
                                 column: 7,
                                },
                                end: Position {
                                 line: 173,
                                 column: 21,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 165,
                              column: 5,
                             },
                             end: Position {
                              line: 174,
                              column: 6,
                             },
                            },
                           },
                          ),
                          operator: Concatenation,
                          right: PropertyAccess(
                           PropertyAccess {
                            expression: Identifier(
                             Identifier {
                              id: "stdenv",
                              span: Span {
                               start: Position {
                                line: 174,
                                column: 10,
                               },
                               end: Position {
                                line: 174,
                                column: 16,
                               },
                              },
                             },
                            ),
                            attribute_path: [
                             Raw(
                              PartRaw {
                               content: "initialPath",
                               span: Span {
                                start: Position {
                                 line: 174,
                                 column: 17,
                                },
                                end: Position {
                                 line: 174,
                                 column: 28,
                                },
                               },
                              },
                             ),
                            ],
                            default: None,
                           },
                          ),
                         },
                        ),
                       ],
                      },
                     ),
                     span: Span {
                      start: Position {
                       line: 164,
                       column: 13,
                      },
                      end: Position {
                       line: 174,
                       column: 29,
                      },
                     },
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "sources",
                      span: Span {
                       start: Position {
                        line: 179,
                        column: 3,
                       },
                       end: Position {
                        line: 179,
                        column: 10,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: Identifier(
                      Identifier {
                       id: "map",
                       span: Span {
                        start: Position {
                         line: 179,
                         column: 13,
                        },
                        end: Position {
                         line: 179,
                         column: 16,
                        },
                       },
                      },
                     ),
                     arguments: [
                      Function(
                       Function {
                        head: Simple(
                         FunctionHeadSimple {
                          identifier: "x",
                         },
                        ),
                        body: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "x",
                            span: Span {
                             start: Position {
                              line: 179,
                              column: 21,
                             },
                             end: Position {
                              line: 179,
                              column: 22,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "source",
                             span: Span {
                              start: Position {
                               line: 179,
                               column: 23,
                              },
                              end: Position {
                               line: 179,
                               column: 29,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        span: Span {
                         start: Position {
                          line: 179,
                          column: 18,
                         },
                         end: Position {
                          line: 179,
                          column: 29,
                         },
                        },
                       },
                      ),
                      Identifier(
                       Identifier {
                        id: "contents",
                        span: Span {
                         start: Position {
                          line: 179,
                          column: 31,
                         },
                         end: Position {
                          line: 179,
                          column: 39,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "targets",
                      span: Span {
                       start: Position {
                        line: 180,
                        column: 3,
                       },
                       end: Position {
                        line: 180,
                        column: 10,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: Identifier(
                      Identifier {
                       id: "map",
                       span: Span {
                        start: Position {
                         line: 180,
                         column: 13,
                        },
                        end: Position {
                         line: 180,
                         column: 16,
                        },
                       },
                      },
                     ),
                     arguments: [
                      Function(
                       Function {
                        head: Simple(
                         FunctionHeadSimple {
                          identifier: "x",
                         },
                        ),
                        body: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "x",
                            span: Span {
                             start: Position {
                              line: 180,
                              column: 21,
                             },
                             end: Position {
                              line: 180,
                              column: 22,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "target",
                             span: Span {
                              start: Position {
                               line: 180,
                               column: 23,
                              },
                              end: Position {
                               line: 180,
                               column: 29,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        span: Span {
                         start: Position {
                          line: 180,
                          column: 18,
                         },
                         end: Position {
                          line: 180,
                          column: 29,
                         },
                        },
                       },
                      ),
                      Identifier(
                       Identifier {
                        id: "contents",
                        span: Span {
                         start: Position {
                          line: 180,
                          column: 31,
                         },
                         end: Position {
                          line: 180,
                          column: 39,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "modes",
                      span: Span {
                       start: Position {
                        line: 181,
                        column: 3,
                       },
                       end: Position {
                        line: 181,
                        column: 8,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: Identifier(
                      Identifier {
                       id: "map",
                       span: Span {
                        start: Position {
                         line: 181,
                         column: 13,
                        },
                        end: Position {
                         line: 181,
                         column: 16,
                        },
                       },
                      },
                     ),
                     arguments: [
                      Function(
                       Function {
                        head: Simple(
                         FunctionHeadSimple {
                          identifier: "x",
                         },
                        ),
                        body: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "x",
                            span: Span {
                             start: Position {
                              line: 181,
                              column: 21,
                             },
                             end: Position {
                              line: 181,
                              column: 22,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "mode",
                             span: Span {
                              start: Position {
                               line: 181,
                               column: 23,
                              },
                              end: Position {
                               line: 181,
                               column: 27,
                              },
                             },
                            },
                           ),
                          ],
                          default: Some(
                           String(
                            String_ {
                             parts: [
                              Raw(
                               PartRaw {
                                content: "''",
                                span: Span {
                                 start: Position {
                                  line: 181,
                                  column: 33,
                                 },
                                 end: Position {
                                  line: 181,
                                  column: 35,
                                 },
                                },
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 181,
                               column: 32,
                              },
                              end: Position {
                               line: 181,
                               column: 36,
                              },
                             },
                            },
                           ),
                          ),
                         },
                        ),
                        span: Span {
                         start: Position {
                          line: 181,
                          column: 18,
                         },
                         end: Position {
                          line: 181,
                          column: 36,
                         },
                        },
                       },
                      ),
                      Identifier(
                       Identifier {
                        id: "contents",
                        span: Span {
                         start: Position {
                          line: 181,
                          column: 38,
                         },
                         end: Position {
                          line: 181,
                          column: 46,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "users",
                      span: Span {
                       start: Position {
                        line: 182,
                        column: 3,
                       },
                       end: Position {
                        line: 182,
                        column: 8,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: Identifier(
                      Identifier {
                       id: "map",
                       span: Span {
                        start: Position {
                         line: 182,
                         column: 13,
                        },
                        end: Position {
                         line: 182,
                         column: 16,
                        },
                       },
                      },
                     ),
                     arguments: [
                      Function(
                       Function {
                        head: Simple(
                         FunctionHeadSimple {
                          identifier: "x",
                         },
                        ),
                        body: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "x",
                            span: Span {
                             start: Position {
                              line: 182,
                              column: 21,
                             },
                             end: Position {
                              line: 182,
                              column: 22,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "user",
                             span: Span {
                              start: Position {
                               line: 182,
                               column: 23,
                              },
                              end: Position {
                               line: 182,
                               column: 27,
                              },
                             },
                            },
                           ),
                          ],
                          default: Some(
                           String(
                            String_ {
                             parts: [
                              Raw(
                               PartRaw {
                                content: "''",
                                span: Span {
                                 start: Position {
                                  line: 182,
                                  column: 33,
                                 },
                                 end: Position {
                                  line: 182,
                                  column: 35,
                                 },
                                },
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 182,
                               column: 32,
                              },
                              end: Position {
                               line: 182,
                               column: 36,
                              },
                             },
                            },
                           ),
                          ),
                         },
                        ),
                        span: Span {
                         start: Position {
                          line: 182,
                          column: 18,
                         },
                         end: Position {
                          line: 182,
                          column: 36,
                         },
                        },
                       },
                      ),
                      Identifier(
                       Identifier {
                        id: "contents",
                        span: Span {
                         start: Position {
                          line: 182,
                          column: 38,
                         },
                         end: Position {
                          line: 182,
                          column: 46,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "groups",
                      span: Span {
                       start: Position {
                        line: 183,
                        column: 3,
                       },
                       end: Position {
                        line: 183,
                        column: 9,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: Identifier(
                      Identifier {
                       id: "map",
                       span: Span {
                        start: Position {
                         line: 183,
                         column: 13,
                        },
                        end: Position {
                         line: 183,
                         column: 16,
                        },
                       },
                      },
                     ),
                     arguments: [
                      Function(
                       Function {
                        head: Simple(
                         FunctionHeadSimple {
                          identifier: "x",
                         },
                        ),
                        body: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "x",
                            span: Span {
                             start: Position {
                              line: 183,
                              column: 21,
                             },
                             end: Position {
                              line: 183,
                              column: 22,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "group",
                             span: Span {
                              start: Position {
                               line: 183,
                               column: 23,
                              },
                              end: Position {
                               line: 183,
                               column: 28,
                              },
                             },
                            },
                           ),
                          ],
                          default: Some(
                           String(
                            String_ {
                             parts: [
                              Raw(
                               PartRaw {
                                content: "''",
                                span: Span {
                                 start: Position {
                                  line: 183,
                                  column: 33,
                                 },
                                 end: Position {
                                  line: 183,
                                  column: 35,
                                 },
                                },
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 183,
                               column: 32,
                              },
                              end: Position {
                               line: 183,
                               column: 36,
                              },
                             },
                            },
                           ),
                          ),
                         },
                        ),
                        span: Span {
                         start: Position {
                          line: 183,
                          column: 18,
                         },
                         end: Position {
                          line: 183,
                          column: 36,
                         },
                        },
                       },
                      ),
                      Identifier(
                       Identifier {
                        id: "contents",
                        span: Span {
                         start: Position {
                          line: 183,
                          column: 38,
                         },
                         end: Position {
                          line: 183,
                          column: 46,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "basePaths",
                      span: Span {
                       start: Position {
                        line: 185,
                        column: 3,
                       },
                       end: Position {
                        line: 185,
                        column: 12,
                       },
                      },
                     },
                    ),
                   ],
                   to: BinaryOperation(
                    BinaryOperation {
                     left: List(
                      List {
                       elements: [
                        PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "config",
                            span: Span {
                             start: Position {
                              line: 185,
                              column: 17,
                             },
                             end: Position {
                              line: 185,
                              column: 23,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "system",
                             span: Span {
                              start: Position {
                               line: 185,
                               column: 24,
                              },
                              end: Position {
                               line: 185,
                               column: 30,
                              },
                             },
                            },
                           ),
                           Raw(
                            PartRaw {
                             content: "build",
                             span: Span {
                              start: Position {
                               line: 185,
                               column: 31,
                              },
                              end: Position {
                               line: 185,
                               column: 36,
                              },
                             },
                            },
                           ),
                           Raw(
                            PartRaw {
                             content: "toplevel",
                             span: Span {
                              start: Position {
                               line: 185,
                               column: 37,
                              },
                              end: Position {
                               line: 185,
                               column: 45,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                       ],
                       span: Span {
                        start: Position {
                         line: 185,
                         column: 15,
                        },
                        end: Position {
                         line: 185,
                         column: 47,
                        },
                       },
                      },
                     ),
                     operator: Concatenation,
                     right: FunctionApplication(
                      FunctionApplication {
                       function: PropertyAccess(
                        PropertyAccess {
                         expression: Identifier(
                          Identifier {
                           id: "lib",
                           span: Span {
                            start: Position {
                             line: 186,
                             column: 8,
                            },
                            end: Position {
                             line: 186,
                             column: 11,
                            },
                           },
                          },
                         ),
                         attribute_path: [
                          Raw(
                           PartRaw {
                            content: "optional",
                            span: Span {
                             start: Position {
                              line: 186,
                              column: 12,
                             },
                             end: Position {
                              line: 186,
                              column: 20,
                             },
                            },
                           },
                          ),
                         ],
                         default: None,
                        },
                       ),
                       arguments: [
                        Identifier(
                         Identifier {
                          id: "copyChannel",
                          span: Span {
                           start: Position {
                            line: 186,
                            column: 21,
                           },
                           end: Position {
                            line: 186,
                            column: 32,
                           },
                          },
                         },
                        ),
                        Identifier(
                         Identifier {
                          id: "channelSources",
                          span: Span {
                           start: Position {
                            line: 186,
                            column: 33,
                           },
                           end: Position {
                            line: 186,
                            column: 47,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "additionalPaths'",
                      span: Span {
                       start: Position {
                        line: 188,
                        column: 3,
                       },
                       end: Position {
                        line: 188,
                        column: 19,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: Identifier(
                      Identifier {
                       id: "subtractLists",
                       span: Span {
                        start: Position {
                         line: 188,
                         column: 22,
                        },
                        end: Position {
                         line: 188,
                         column: 35,
                        },
                       },
                      },
                     ),
                     arguments: [
                      Identifier(
                       Identifier {
                        id: "basePaths",
                        span: Span {
                         start: Position {
                          line: 188,
                          column: 36,
                         },
                         end: Position {
                          line: 188,
                          column: 45,
                         },
                        },
                       },
                      ),
                      Identifier(
                       Identifier {
                        id: "additionalPaths",
                        span: Span {
                         start: Position {
                          line: 188,
                          column: 46,
                         },
                         end: Position {
                          line: 188,
                          column: 61,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "closureInfo",
                      span: Span {
                       start: Position {
                        line: 190,
                        column: 3,
                       },
                       end: Position {
                        line: 190,
                        column: 14,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: PropertyAccess(
                      PropertyAccess {
                       expression: Identifier(
                        Identifier {
                         id: "pkgs",
                         span: Span {
                          start: Position {
                           line: 190,
                           column: 17,
                          },
                          end: Position {
                           line: 190,
                           column: 21,
                          },
                         },
                        },
                       ),
                       attribute_path: [
                        Raw(
                         PartRaw {
                          content: "closureInfo",
                          span: Span {
                           start: Position {
                            line: 190,
                            column: 22,
                           },
                           end: Position {
                            line: 190,
                            column: 33,
                           },
                          },
                         },
                        ),
                       ],
                       default: None,
                      },
                     ),
                     arguments: [
                      Map(
                       Map {
                        recursive: false,
                        bindings: [
                         KeyValue(
                          BindingKeyValue {
                           from: [
                            Raw(
                             PartRaw {
                              content: "rootPaths",
                              span: Span {
                               start: Position {
                                line: 191,
                                column: 5,
                               },
                               end: Position {
                                line: 191,
                                column: 14,
                               },
                              },
                             },
                            ),
                           ],
                           to: BinaryOperation(
                            BinaryOperation {
                             left: Identifier(
                              Identifier {
                               id: "basePaths",
                               span: Span {
                                start: Position {
                                 line: 191,
                                 column: 17,
                                },
                                end: Position {
                                 line: 191,
                                 column: 26,
                                },
                               },
                              },
                             ),
                             operator: Concatenation,
                             right: Identifier(
                              Identifier {
                               id: "additionalPaths'",
                               span: Span {
                                start: Position {
                                 line: 191,
                                 column: 30,
                                },
                                end: Position {
                                 line: 191,
                                 column: 46,
                                },
                               },
                              },
                             ),
                            },
                           ),
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 190,
                          column: 34,
                         },
                         end: Position {
                          line: 192,
                          column: 4,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "blockSize",
                      span: Span {
                       start: Position {
                        line: 194,
                        column: 3,
                       },
                       end: Position {
                        line: 194,
                        column: 12,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: Identifier(
                      Identifier {
                       id: "toString",
                       span: Span {
                        start: Position {
                         line: 194,
                         column: 15,
                        },
                        end: Position {
                         line: 194,
                         column: 23,
                        },
                       },
                      },
                     ),
                     arguments: [
                      BinaryOperation(
                       BinaryOperation {
                        left: Integer(
                         Integer {
                          value: "4",
                          span: Span {
                           start: Position {
                            line: 194,
                            column: 25,
                           },
                           end: Position {
                            line: 194,
                            column: 26,
                           },
                          },
                         },
                        ),
                        operator: Multiplication,
                        right: Integer(
                         Integer {
                          value: "1024",
                          span: Span {
                           start: Position {
                            line: 194,
                            column: 29,
                           },
                           end: Position {
                            line: 194,
                            column: 33,
                           },
                          },
                         },
                        ),
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "prepareImage",
                      span: Span {
                       start: Position {
                        line: 196,
                        column: 3,
                       },
                       end: Position {
                        line: 196,
                        column: 15,
                       },
                      },
                     },
                    ),
                   ],
                   to: IndentedString(
                    IndentedString {
                     parts: [
                      Raw(
                       PartRaw {
                        content: "export PATH=",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 197,
                          column: 17,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: Identifier(
                         Identifier {
                          id: "binPath",
                          span: Span {
                           start: Position {
                            line: 197,
                            column: 19,
                           },
                           end: Position {
                            line: 197,
                            column: 26,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "\n\n# Yes, mkfs.ext4 takes different units in different contexts. Fun.\nsectorsToKilobytes() {\n  echo $(( ( \"$1\" * 512 ) / 1024 ))\n}\n\nsectorsToBytes() {\n  echo $(( \"$1\" * 512  ))\n}\n\n# Given lines of numbers, adds them together\nsum_lines() {\n  local acc=0\n  while read -r number; do\n    acc=$((acc+number))\n  done\n  echo \"$acc\"\n}\n\nmebibyte=$(( 1024 * 1024 ))\n\n# Approximative percentage of reserved space in an ext4 fs over 512MiB.\n# 0.05208587646484375\n#  × 1000, integer part: 52\ncompute_fudge() {\n  echo $(( $1 * 52 / 1000 ))\n}\n\nmkdir $out\n\nroot=\"$PWD/root\"\nmkdir -p $root\n\n# Copy arbitrary other files into the image\n# Semi-shamelessly copied from make-etc.sh. I (@copumpkin) shall factor this stuff out as part of\n# https://github.com/NixOS/nixpkgs/issues/23052.\nset -f\nsources_=(",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 235,
                          column: 15,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: FunctionApplication(
                         FunctionApplication {
                          function: Identifier(
                           Identifier {
                            id: "concatStringsSep",
                            span: Span {
                             start: Position {
                              line: 235,
                              column: 17,
                             },
                             end: Position {
                              line: 235,
                              column: 33,
                             },
                            },
                           },
                          ),
                          arguments: [
                           String(
                            String_ {
                             parts: [
                              Raw(
                               PartRaw {
                                content: " ",
                                span: Span {
                                 start: Position {
                                  line: 235,
                                  column: 35,
                                 },
                                 end: Position {
                                  line: 235,
                                  column: 36,
                                 },
                                },
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 235,
                               column: 34,
                              },
                              end: Position {
                               line: 235,
                               column: 37,
                              },
                             },
                            },
                           ),
                           Identifier(
                            Identifier {
                             id: "sources",
                             span: Span {
                              start: Position {
                               line: 235,
                               column: 38,
                              },
                              end: Position {
                               line: 235,
                               column: 45,
                              },
                             },
                            },
                           ),
                          ],
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: ")\ntargets_=(",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 236,
                          column: 15,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: FunctionApplication(
                         FunctionApplication {
                          function: Identifier(
                           Identifier {
                            id: "concatStringsSep",
                            span: Span {
                             start: Position {
                              line: 236,
                              column: 17,
                             },
                             end: Position {
                              line: 236,
                              column: 33,
                             },
                            },
                           },
                          ),
                          arguments: [
                           String(
                            String_ {
                             parts: [
                              Raw(
                               PartRaw {
                                content: " ",
                                span: Span {
                                 start: Position {
                                  line: 236,
                                  column: 35,
                                 },
                                 end: Position {
                                  line: 236,
                                  column: 36,
                                 },
                                },
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 236,
                               column: 34,
                              },
                              end: Position {
                               line: 236,
                               column: 37,
                              },
                             },
                            },
                           ),
                           Identifier(
                            Identifier {
                             id: "targets",
                             span: Span {
                              start: Position {
                               line: 236,
                               column: 38,
                              },
                              end: Position {
                               line: 236,
                               column: 45,
                              },
                             },
                            },
                           ),
                          ],
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: ")\nmodes_=(",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 237,
                          column: 13,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: FunctionApplication(
                         FunctionApplication {
                          function: Identifier(
                           Identifier {
                            id: "concatStringsSep",
                            span: Span {
                             start: Position {
                              line: 237,
                              column: 15,
                             },
                             end: Position {
                              line: 237,
                              column: 31,
                             },
                            },
                           },
                          ),
                          arguments: [
                           String(
                            String_ {
                             parts: [
                              Raw(
                               PartRaw {
                                content: " ",
                                span: Span {
                                 start: Position {
                                  line: 237,
                                  column: 33,
                                 },
                                 end: Position {
                                  line: 237,
                                  column: 34,
                                 },
                                },
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 237,
                               column: 32,
                              },
                              end: Position {
                               line: 237,
                               column: 35,
                              },
                             },
                            },
                           ),
                           Identifier(
                            Identifier {
                             id: "modes",
                             span: Span {
                              start: Position {
                               line: 237,
                               column: 36,
                              },
                              end: Position {
                               line: 237,
                               column: 41,
                              },
                             },
                            },
                           ),
                          ],
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: ")\nset +f\n\nfor ((i = 0; i < ",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 240,
                          column: 22,
                         },
                        },
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "$",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 240,
                          column: 25,
                         },
                        },
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "{#targets_[@]}; i++)); do\n  source=\"",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 241,
                          column: 15,
                         },
                        },
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "$",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 241,
                          column: 18,
                         },
                        },
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "{sources_[$i]}\"\n  target=\"",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 242,
                          column: 15,
                         },
                        },
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "$",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 242,
                          column: 18,
                         },
                        },
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "{targets_[$i]}\"\n  mode=\"",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 243,
                          column: 13,
                         },
                        },
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "$",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 243,
                          column: 16,
                         },
                        },
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "{modes_[$i]}\"\n\n  if [ -n \"$mode\" ]; then\n    rsync_chmod_flags=\"--chmod=$mode\"\n  else\n    rsync_chmod_flags=\"\"\n  fi\n  # Unfortunately cptofs only supports modes, not ownership, so we can't use\n  # rsync's --chown option. Instead, we change the ownerships in the\n  # VM script with chown.\n  rsync_flags=\"-a --no-o --no-g $rsync_chmod_flags\"\n  if [[ \"$source\" =~ '*' ]]; then\n    # If the source name contains '*', perform globbing.\n    mkdir -p $root/$target\n    for fn in $source; do\n      rsync $rsync_flags \"$fn\" $root/$target/\n    done\n  else\n    mkdir -p $root/$(dirname $target)\n    if ! [ -e $root/$target ]; then\n      rsync $rsync_flags $source $root/$target\n    else\n      echo \"duplicate entry $target -> $source\"\n      exit 1\n    fi\n  fi\ndone\n\nexport HOME=$TMPDIR\n\n# Provide a Nix database so that nixos-install can copy closures.\nexport NIX_STATE_DIR=$TMPDIR/state\nnix-store --load-db < ",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 275,
                          column: 27,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: Identifier(
                         Identifier {
                          id: "closureInfo",
                          span: Span {
                           start: Position {
                            line: 275,
                            column: 29,
                           },
                           end: Position {
                            line: 275,
                            column: 40,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "/registration\n\nchmod 755 \"$TMPDIR\"\necho \"running nixos-install...\"\nnixos-install --root $root --no-bootloader --no-root-passwd \\\n  --system ",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 280,
                          column: 16,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "config",
                            span: Span {
                             start: Position {
                              line: 280,
                              column: 18,
                             },
                             end: Position {
                              line: 280,
                              column: 24,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "system",
                             span: Span {
                              start: Position {
                               line: 280,
                               column: 25,
                              },
                              end: Position {
                               line: 280,
                               column: 31,
                              },
                             },
                            },
                           ),
                           Raw(
                            PartRaw {
                             content: "build",
                             span: Span {
                              start: Position {
                               line: 280,
                               column: 32,
                              },
                              end: Position {
                               line: 280,
                               column: 37,
                              },
                             },
                            },
                           ),
                           Raw(
                            PartRaw {
                             content: "toplevel",
                             span: Span {
                              start: Position {
                               line: 280,
                               column: 38,
                              },
                              end: Position {
                               line: 280,
                               column: 46,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: " \\\n  ",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 281,
                          column: 7,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: IfThenElse(
                         IfThenElse {
                          predicate: Identifier(
                           Identifier {
                            id: "copyChannel",
                            span: Span {
                             start: Position {
                              line: 281,
                              column: 12,
                             },
                             end: Position {
                              line: 281,
                              column: 23,
                             },
                            },
                           },
                          ),
                          then: String(
                           String_ {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "--channel ",
                               span: Span {
                                start: Position {
                                 line: 281,
                                 column: 30,
                                },
                                end: Position {
                                 line: 281,
                                 column: 57,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "channelSources",
                                 span: Span {
                                  start: Position {
                                   line: 281,
                                   column: 42,
                                  },
                                  end: Position {
                                   line: 281,
                                   column: 56,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 281,
                              column: 29,
                             },
                             end: Position {
                              line: 281,
                              column: 58,
                             },
                            },
                           },
                          ),
                          else_: String(
                           String_ {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "--no-channel-copy",
                               span: Span {
                                start: Position {
                                 line: 281,
                                 column: 65,
                                },
                                end: Position {
                                 line: 281,
                                 column: 82,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 281,
                              column: 64,
                             },
                             end: Position {
                              line: 281,
                              column: 83,
                             },
                            },
                           },
                          ),
                          span: Span {
                           start: Position {
                            line: 281,
                            column: 9,
                           },
                           end: Position {
                            line: 281,
                            column: 83,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: " \\\n  --substituters \"\"\n\n",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 284,
                          column: 5,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: FunctionApplication(
                         FunctionApplication {
                          function: Identifier(
                           Identifier {
                            id: "optionalString",
                            span: Span {
                             start: Position {
                              line: 284,
                              column: 7,
                             },
                             end: Position {
                              line: 284,
                              column: 21,
                             },
                            },
                           },
                          ),
                          arguments: [
                           BinaryOperation(
                            BinaryOperation {
                             left: Identifier(
                              Identifier {
                               id: "additionalPaths'",
                               span: Span {
                                start: Position {
                                 line: 284,
                                 column: 23,
                                },
                                end: Position {
                                 line: 284,
                                 column: 39,
                                },
                               },
                              },
                             ),
                             operator: NotEqualTo,
                             right: List(
                              List {
                               elements: [],
                               span: Span {
                                start: Position {
                                 line: 284,
                                 column: 43,
                                },
                                end: Position {
                                 line: 284,
                                 column: 45,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           IndentedString(
                            IndentedString {
                             parts: [
                              Raw(
                               PartRaw {
                                content: "nix --extra-experimental-features nix-command copy --to $root --no-check-sigs ",
                                span: Span {
                                 start: Position {
                                  line: 285,
                                  column: 1,
                                 },
                                 end: Position {
                                  line: 285,
                                  column: 85,
                                 },
                                },
                               },
                              ),
                              Interpolation(
                               PartInterpolation {
                                expression: FunctionApplication(
                                 FunctionApplication {
                                  function: Identifier(
                                   Identifier {
                                    id: "concatStringsSep",
                                    span: Span {
                                     start: Position {
                                      line: 285,
                                      column: 87,
                                     },
                                     end: Position {
                                      line: 285,
                                      column: 103,
                                     },
                                    },
                                   },
                                  ),
                                  arguments: [
                                   String(
                                    String_ {
                                     parts: [
                                      Raw(
                                       PartRaw {
                                        content: " ",
                                        span: Span {
                                         start: Position {
                                          line: 285,
                                          column: 105,
                                         },
                                         end: Position {
                                          line: 285,
                                          column: 106,
                                         },
                                        },
                                       },
                                      ),
                                     ],
                                     span: Span {
                                      start: Position {
                                       line: 285,
                                       column: 104,
                                      },
                                      end: Position {
                                       line: 285,
                                       column: 107,
                                      },
                                     },
                                    },
                                   ),
                                   Identifier(
                                    Identifier {
                                     id: "additionalPaths'",
                                     span: Span {
                                      start: Position {
                                       line: 285,
                                       column: 108,
                                      },
                                      end: Position {
                                       line: 285,
                                       column: 124,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                 },
                                ),
                               },
                              ),
                              Raw(
                               PartRaw {
                                content: "\n",
                                span: Span {
                                 start: Position {
                                  line: 285,
                                  column: 1,
                                 },
                                 end: Position {
                                  line: 286,
                                  column: 5,
                                 },
                                },
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 284,
                               column: 47,
                              },
                              end: Position {
                               line: 286,
                               column: 7,
                              },
                             },
                            },
                           ),
                          ],
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "\n\ndiskImage=nixos.raw\n\n",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 290,
                          column: 5,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: IfThenElse(
                         IfThenElse {
                          predicate: BinaryOperation(
                           BinaryOperation {
                            left: Identifier(
                             Identifier {
                              id: "diskSize",
                              span: Span {
                               start: Position {
                                line: 290,
                                column: 10,
                               },
                               end: Position {
                                line: 290,
                                column: 18,
                               },
                              },
                             },
                            ),
                            operator: EqualTo,
                            right: String(
                             String_ {
                              parts: [
                               Raw(
                                PartRaw {
                                 content: "auto",
                                 span: Span {
                                  start: Position {
                                   line: 290,
                                   column: 23,
                                  },
                                  end: Position {
                                   line: 290,
                                   column: 27,
                                  },
                                 },
                                },
                               ),
                              ],
                              span: Span {
                               start: Position {
                                line: 290,
                                column: 22,
                               },
                               end: Position {
                                line: 290,
                                column: 28,
                               },
                              },
                             },
                            ),
                           },
                          ),
                          then: IndentedString(
                           IndentedString {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "",
                               span: Span {
                                start: Position {
                                 line: 291,
                                 column: 1,
                                },
                                end: Position {
                                 line: 291,
                                 column: 7,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: IfThenElse(
                                IfThenElse {
                                 predicate: BinaryOperation(
                                  BinaryOperation {
                                   left: BinaryOperation(
                                    BinaryOperation {
                                     left: Identifier(
                                      Identifier {
                                       id: "partitionTableType",
                                       span: Span {
                                        start: Position {
                                         line: 291,
                                         column: 12,
                                        },
                                        end: Position {
                                         line: 291,
                                         column: 30,
                                        },
                                       },
                                      },
                                     ),
                                     operator: EqualTo,
                                     right: String(
                                      String_ {
                                       parts: [
                                        Raw(
                                         PartRaw {
                                          content: "efi",
                                          span: Span {
                                           start: Position {
                                            line: 291,
                                            column: 35,
                                           },
                                           end: Position {
                                            line: 291,
                                            column: 38,
                                           },
                                          },
                                         },
                                        ),
                                       ],
                                       span: Span {
                                        start: Position {
                                         line: 291,
                                         column: 34,
                                        },
                                        end: Position {
                                         line: 291,
                                         column: 39,
                                        },
                                       },
                                      },
                                     ),
                                    },
                                   ),
                                   operator: LogicalOr,
                                   right: BinaryOperation(
                                    BinaryOperation {
                                     left: Identifier(
                                      Identifier {
                                       id: "partitionTableType",
                                       span: Span {
                                        start: Position {
                                         line: 291,
                                         column: 43,
                                        },
                                        end: Position {
                                         line: 291,
                                         column: 61,
                                        },
                                       },
                                      },
                                     ),
                                     operator: EqualTo,
                                     right: String(
                                      String_ {
                                       parts: [
                                        Raw(
                                         PartRaw {
                                          content: "hybrid",
                                          span: Span {
                                           start: Position {
                                            line: 291,
                                            column: 66,
                                           },
                                           end: Position {
                                            line: 291,
                                            column: 72,
                                           },
                                          },
                                         },
                                        ),
                                       ],
                                       span: Span {
                                        start: Position {
                                         line: 291,
                                         column: 65,
                                        },
                                        end: Position {
                                         line: 291,
                                         column: 73,
                                        },
                                       },
                                      },
                                     ),
                                    },
                                   ),
                                  },
                                 ),
                                 then: IndentedString(
                                  IndentedString {
                                   parts: [
                                    Raw(
                                     PartRaw {
                                      content: "# Add the GPT at the end\ngptSpace=$(( 512 * 34 * 1 ))\n# Normally we'd need to account for alignment and things, if bootSize\n# represented the actual size of the boot partition. But it instead\n# represents the offset at which it ends.\n# So we know bootSize is the reserved space in front of the partition.\nreservedSpace=$(( gptSpace + $(numfmt --from=iec ",
                                      span: Span {
                                       start: Position {
                                        line: 292,
                                        column: 1,
                                       },
                                       end: Position {
                                        line: 298,
                                        column: 58,
                                       },
                                      },
                                     },
                                    ),
                                    Raw(
                                     PartRaw {
                                      content: "'",
                                      span: Span {
                                       start: Position {
                                        line: 292,
                                        column: 1,
                                       },
                                       end: Position {
                                        line: 298,
                                        column: 59,
                                       },
                                      },
                                     },
                                    ),
                                    Interpolation(
                                     PartInterpolation {
                                      expression: Identifier(
                                       Identifier {
                                        id: "bootSize",
                                        span: Span {
                                         start: Position {
                                          line: 298,
                                          column: 61,
                                         },
                                         end: Position {
                                          line: 298,
                                          column: 69,
                                         },
                                        },
                                       },
                                      ),
                                     },
                                    ),
                                    Raw(
                                     PartRaw {
                                      content: "') ))\n",
                                      span: Span {
                                       start: Position {
                                        line: 292,
                                        column: 1,
                                       },
                                       end: Position {
                                        line: 299,
                                        column: 7,
                                       },
                                      },
                                     },
                                    ),
                                   ],
                                   span: Span {
                                    start: Position {
                                     line: 291,
                                     column: 79,
                                    },
                                    end: Position {
                                     line: 299,
                                     column: 9,
                                    },
                                   },
                                  },
                                 ),
                                 else_: IfThenElse(
                                  IfThenElse {
                                   predicate: BinaryOperation(
                                    BinaryOperation {
                                     left: Identifier(
                                      Identifier {
                                       id: "partitionTableType",
                                       span: Span {
                                        start: Position {
                                         line: 299,
                                         column: 18,
                                        },
                                        end: Position {
                                         line: 299,
                                         column: 36,
                                        },
                                       },
                                      },
                                     ),
                                     operator: EqualTo,
                                     right: String(
                                      String_ {
                                       parts: [
                                        Raw(
                                         PartRaw {
                                          content: "legacy+gpt",
                                          span: Span {
                                           start: Position {
                                            line: 299,
                                            column: 41,
                                           },
                                           end: Position {
                                            line: 299,
                                            column: 51,
                                           },
                                          },
                                         },
                                        ),
                                       ],
                                       span: Span {
                                        start: Position {
                                         line: 299,
                                         column: 40,
                                        },
                                        end: Position {
                                         line: 299,
                                         column: 52,
                                        },
                                       },
                                      },
                                     ),
                                    },
                                   ),
                                   then: IndentedString(
                                    IndentedString {
                                     parts: [
                                      Raw(
                                       PartRaw {
                                        content: "# Add the GPT at the end\ngptSpace=$(( 512 * 34 * 1 ))\n# And include the bios_grub partition; the ext4 partition starts at 2MB exactly.\nreservedSpace=$(( gptSpace + 2 * mebibyte ))\n",
                                        span: Span {
                                         start: Position {
                                          line: 300,
                                          column: 1,
                                         },
                                         end: Position {
                                          line: 304,
                                          column: 7,
                                         },
                                        },
                                       },
                                      ),
                                     ],
                                     span: Span {
                                      start: Position {
                                       line: 299,
                                       column: 58,
                                      },
                                      end: Position {
                                       line: 304,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                   else_: IfThenElse(
                                    IfThenElse {
                                     predicate: BinaryOperation(
                                      BinaryOperation {
                                       left: Identifier(
                                        Identifier {
                                         id: "partitionTableType",
                                         span: Span {
                                          start: Position {
                                           line: 304,
                                           column: 18,
                                          },
                                          end: Position {
                                           line: 304,
                                           column: 36,
                                          },
                                         },
                                        },
                                       ),
                                       operator: EqualTo,
                                       right: String(
                                        String_ {
                                         parts: [
                                          Raw(
                                           PartRaw {
                                            content: "legacy",
                                            span: Span {
                                             start: Position {
                                              line: 304,
                                              column: 41,
                                             },
                                             end: Position {
                                              line: 304,
                                              column: 47,
                                             },
                                            },
                                           },
                                          ),
                                         ],
                                         span: Span {
                                          start: Position {
                                           line: 304,
                                           column: 40,
                                          },
                                          end: Position {
                                           line: 304,
                                           column: 48,
                                          },
                                         },
                                        },
                                       ),
                                      },
                                     ),
                                     then: IndentedString(
                                      IndentedString {
                                       parts: [
                                        Raw(
                                         PartRaw {
                                          content: "# Add the 1MiB aligned reserved space (includes MBR)\nreservedSpace=$(( mebibyte ))\n",
                                          span: Span {
                                           start: Position {
                                            line: 305,
                                            column: 1,
                                           },
                                           end: Position {
                                            line: 307,
                                            column: 7,
                                           },
                                          },
                                         },
                                        ),
                                       ],
                                       span: Span {
                                        start: Position {
                                         line: 304,
                                         column: 54,
                                        },
                                        end: Position {
                                         line: 307,
                                         column: 9,
                                        },
                                       },
                                      },
                                     ),
                                     else_: IndentedString(
                                      IndentedString {
                                       parts: [
                                        Raw(
                                         PartRaw {
                                          content: "reservedSpace=0\n",
                                          span: Span {
                                           start: Position {
                                            line: 308,
                                            column: 1,
                                           },
                                           end: Position {
                                            line: 309,
                                            column: 7,
                                           },
                                          },
                                         },
                                        ),
                                       ],
                                       span: Span {
                                        start: Position {
                                         line: 307,
                                         column: 15,
                                        },
                                        end: Position {
                                         line: 309,
                                         column: 9,
                                        },
                                       },
                                      },
                                     ),
                                     span: Span {
                                      start: Position {
                                       line: 304,
                                       column: 15,
                                      },
                                      end: Position {
                                       line: 309,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                   span: Span {
                                    start: Position {
                                     line: 299,
                                     column: 15,
                                    },
                                    end: Position {
                                     line: 309,
                                     column: 9,
                                    },
                                   },
                                  },
                                 ),
                                 span: Span {
                                  start: Position {
                                   line: 291,
                                   column: 9,
                                  },
                                  end: Position {
                                   line: 309,
                                   column: 9,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: "\nadditionalSpace=$(( $(numfmt --from=iec ",
                               span: Span {
                                start: Position {
                                 line: 291,
                                 column: 1,
                                },
                                end: Position {
                                 line: 310,
                                 column: 47,
                                },
                               },
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: "'",
                               span: Span {
                                start: Position {
                                 line: 291,
                                 column: 1,
                                },
                                end: Position {
                                 line: 310,
                                 column: 48,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "additionalSpace",
                                 span: Span {
                                  start: Position {
                                   line: 310,
                                   column: 50,
                                  },
                                  end: Position {
                                   line: 310,
                                   column: 65,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: "') + reservedSpace ))\n\n# Compute required space in filesystem blocks\ndiskUsage=$(find . ! -type d -print0 | du --files0-from=- --apparent-size --block-size \"",
                               span: Span {
                                start: Position {
                                 line: 291,
                                 column: 1,
                                },
                                end: Position {
                                 line: 313,
                                 column: 95,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "blockSize",
                                 span: Span {
                                  start: Position {
                                   line: 313,
                                   column: 97,
                                  },
                                  end: Position {
                                   line: 313,
                                   column: 106,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: "\" | cut -f1 | sum_lines)\n# Each inode takes space!\nnumInodes=$(find . | wc -l)\n# Convert to bytes, inodes take two blocks each!\ndiskUsage=$(( (diskUsage + 2 * numInodes) * ",
                               span: Span {
                                start: Position {
                                 line: 291,
                                 column: 1,
                                },
                                end: Position {
                                 line: 317,
                                 column: 51,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "blockSize",
                                 span: Span {
                                  start: Position {
                                   line: 317,
                                   column: 53,
                                  },
                                  end: Position {
                                   line: 317,
                                   column: 62,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " ))\n# Then increase the required space to account for the reserved blocks.\nfudge=$(compute_fudge $diskUsage)\nrequiredFilesystemSpace=$(( diskUsage + fudge ))\n\ndiskSize=$(( requiredFilesystemSpace  + additionalSpace ))\n\n# Round up to the nearest mebibyte.\n# This ensures whole 512 bytes sector sizes in the disk image\n# and helps towards aligning partitions optimally.\nif (( diskSize % mebibyte )); then\n  diskSize=$(( ( diskSize / mebibyte + 1) * mebibyte ))\nfi\n\ntruncate -s \"$diskSize\" $diskImage\n\nprintf \"Automatic disk size...\\n\"\nprintf \"  Closure space use: %d bytes\\n\" $diskUsage\nprintf \"  fudge: %d bytes\\n\" $fudge\nprintf \"  Filesystem size needed: %d bytes\\n\" $requiredFilesystemSpace\nprintf \"  Additional space: %d bytes\\n\" $additionalSpace\nprintf \"  Disk image size: %d bytes\\n\" $diskSize\n",
                               span: Span {
                                start: Position {
                                 line: 291,
                                 column: 1,
                                },
                                end: Position {
                                 line: 339,
                                 column: 5,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 290,
                              column: 34,
                             },
                             end: Position {
                              line: 339,
                              column: 7,
                             },
                            },
                           },
                          ),
                          else_: IndentedString(
                           IndentedString {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "truncate -s ",
                               span: Span {
                                start: Position {
                                 line: 340,
                                 column: 1,
                                },
                                end: Position {
                                 line: 340,
                                 column: 19,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: FunctionApplication(
                                FunctionApplication {
                                 function: Identifier(
                                  Identifier {
                                   id: "toString",
                                   span: Span {
                                    start: Position {
                                     line: 340,
                                     column: 21,
                                    },
                                    end: Position {
                                     line: 340,
                                     column: 29,
                                    },
                                   },
                                  },
                                 ),
                                 arguments: [
                                  Identifier(
                                   Identifier {
                                    id: "diskSize",
                                    span: Span {
                                     start: Position {
                                      line: 340,
                                      column: 30,
                                     },
                                     end: Position {
                                      line: 340,
                                      column: 38,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: "M $diskImage\n",
                               span: Span {
                                start: Position {
                                 line: 340,
                                 column: 1,
                                },
                                end: Position {
                                 line: 341,
                                 column: 5,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 339,
                              column: 13,
                             },
                             end: Position {
                              line: 341,
                              column: 7,
                             },
                            },
                           },
                          ),
                          span: Span {
                           start: Position {
                            line: 290,
                            column: 7,
                           },
                           end: Position {
                            line: 341,
                            column: 7,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "\n\n",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 343,
                          column: 5,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: Identifier(
                         Identifier {
                          id: "partitionDiskScript",
                          span: Span {
                           start: Position {
                            line: 343,
                            column: 7,
                           },
                           end: Position {
                            line: 343,
                            column: 26,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "\n\n",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 345,
                          column: 5,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: IfThenElse(
                         IfThenElse {
                          predicate: BinaryOperation(
                           BinaryOperation {
                            left: Identifier(
                             Identifier {
                              id: "partitionTableType",
                              span: Span {
                               start: Position {
                                line: 345,
                                column: 10,
                               },
                               end: Position {
                                line: 345,
                                column: 28,
                               },
                              },
                             },
                            ),
                            operator: NotEqualTo,
                            right: String(
                             String_ {
                              parts: [
                               Raw(
                                PartRaw {
                                 content: "none",
                                 span: Span {
                                  start: Position {
                                   line: 345,
                                   column: 33,
                                  },
                                  end: Position {
                                   line: 345,
                                   column: 37,
                                  },
                                 },
                                },
                               ),
                              ],
                              span: Span {
                               start: Position {
                                line: 345,
                                column: 32,
                               },
                               end: Position {
                                line: 345,
                                column: 38,
                               },
                              },
                             },
                            ),
                           },
                          ),
                          then: IndentedString(
                           IndentedString {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "# Get start & length of the root partition in sectors to $START and $SECTORS.\neval $(partx $diskImage -o START,SECTORS --nr ",
                               span: Span {
                                start: Position {
                                 line: 346,
                                 column: 1,
                                },
                                end: Position {
                                 line: 347,
                                 column: 53,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "rootPartition",
                                 span: Span {
                                  start: Position {
                                   line: 347,
                                   column: 55,
                                  },
                                  end: Position {
                                   line: 347,
                                   column: 68,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " --pairs)\n\nmkfs.",
                               span: Span {
                                start: Position {
                                 line: 346,
                                 column: 1,
                                },
                                end: Position {
                                 line: 349,
                                 column: 12,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "fsType",
                                 span: Span {
                                  start: Position {
                                   line: 349,
                                   column: 14,
                                  },
                                  end: Position {
                                   line: 349,
                                   column: 20,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " -b ",
                               span: Span {
                                start: Position {
                                 line: 346,
                                 column: 1,
                                },
                                end: Position {
                                 line: 349,
                                 column: 25,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "blockSize",
                                 span: Span {
                                  start: Position {
                                   line: 349,
                                   column: 27,
                                  },
                                  end: Position {
                                   line: 349,
                                   column: 36,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " -F -L ",
                               span: Span {
                                start: Position {
                                 line: 346,
                                 column: 1,
                                },
                                end: Position {
                                 line: 349,
                                 column: 44,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "label",
                                 span: Span {
                                  start: Position {
                                   line: 349,
                                   column: 46,
                                  },
                                  end: Position {
                                   line: 349,
                                   column: 51,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " $diskImage -E offset=$(sectorsToBytes $START) $(sectorsToKilobytes $SECTORS)K\n",
                               span: Span {
                                start: Position {
                                 line: 346,
                                 column: 1,
                                },
                                end: Position {
                                 line: 350,
                                 column: 5,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 345,
                              column: 44,
                             },
                             end: Position {
                              line: 350,
                              column: 7,
                             },
                            },
                           },
                          ),
                          else_: IndentedString(
                           IndentedString {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "mkfs.",
                               span: Span {
                                start: Position {
                                 line: 351,
                                 column: 1,
                                },
                                end: Position {
                                 line: 351,
                                 column: 12,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "fsType",
                                 span: Span {
                                  start: Position {
                                   line: 351,
                                   column: 14,
                                  },
                                  end: Position {
                                   line: 351,
                                   column: 20,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " -b ",
                               span: Span {
                                start: Position {
                                 line: 351,
                                 column: 1,
                                },
                                end: Position {
                                 line: 351,
                                 column: 25,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "blockSize",
                                 span: Span {
                                  start: Position {
                                   line: 351,
                                   column: 27,
                                  },
                                  end: Position {
                                   line: 351,
                                   column: 36,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " -F -L ",
                               span: Span {
                                start: Position {
                                 line: 351,
                                 column: 1,
                                },
                                end: Position {
                                 line: 351,
                                 column: 44,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "label",
                                 span: Span {
                                  start: Position {
                                   line: 351,
                                   column: 46,
                                  },
                                  end: Position {
                                   line: 351,
                                   column: 51,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " $diskImage\n",
                               span: Span {
                                start: Position {
                                 line: 351,
                                 column: 1,
                                },
                                end: Position {
                                 line: 352,
                                 column: 5,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 350,
                              column: 13,
                             },
                             end: Position {
                              line: 352,
                              column: 7,
                             },
                            },
                           },
                          ),
                          span: Span {
                           start: Position {
                            line: 345,
                            column: 7,
                           },
                           end: Position {
                            line: 352,
                            column: 7,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "\n\necho \"copying staging root to image...\"\ncptofs -p ",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 355,
                          column: 15,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: FunctionApplication(
                         FunctionApplication {
                          function: Identifier(
                           Identifier {
                            id: "optionalString",
                            span: Span {
                             start: Position {
                              line: 355,
                              column: 17,
                             },
                             end: Position {
                              line: 355,
                              column: 31,
                             },
                            },
                           },
                          ),
                          arguments: [
                           BinaryOperation(
                            BinaryOperation {
                             left: Identifier(
                              Identifier {
                               id: "partitionTableType",
                               span: Span {
                                start: Position {
                                 line: 355,
                                 column: 33,
                                },
                                end: Position {
                                 line: 355,
                                 column: 51,
                                },
                               },
                              },
                             ),
                             operator: NotEqualTo,
                             right: String(
                              String_ {
                               parts: [
                                Raw(
                                 PartRaw {
                                  content: "none",
                                  span: Span {
                                   start: Position {
                                    line: 355,
                                    column: 56,
                                   },
                                   end: Position {
                                    line: 355,
                                    column: 60,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 355,
                                 column: 55,
                                },
                                end: Position {
                                 line: 355,
                                 column: 61,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           String(
                            String_ {
                             parts: [
                              Raw(
                               PartRaw {
                                content: "-P ",
                                span: Span {
                                 start: Position {
                                  line: 355,
                                  column: 64,
                                 },
                                 end: Position {
                                  line: 355,
                                  column: 83,
                                 },
                                },
                               },
                              ),
                              Interpolation(
                               PartInterpolation {
                                expression: Identifier(
                                 Identifier {
                                  id: "rootPartition",
                                  span: Span {
                                   start: Position {
                                    line: 355,
                                    column: 69,
                                   },
                                   end: Position {
                                    line: 355,
                                    column: 82,
                                   },
                                  },
                                 },
                                ),
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 355,
                               column: 63,
                              },
                              end: Position {
                               line: 355,
                               column: 84,
                              },
                             },
                            },
                           ),
                          ],
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: " \\\n       -t ",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 356,
                          column: 15,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: Identifier(
                         Identifier {
                          id: "fsType",
                          span: Span {
                           start: Position {
                            line: 356,
                            column: 17,
                           },
                           end: Position {
                            line: 356,
                            column: 23,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: " \\\n       -i $diskImage \\\n       $root",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 358,
                          column: 17,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: FunctionApplication(
                         FunctionApplication {
                          function: Identifier(
                           Identifier {
                            id: "optionalString",
                            span: Span {
                             start: Position {
                              line: 358,
                              column: 19,
                             },
                             end: Position {
                              line: 358,
                              column: 33,
                             },
                            },
                           },
                          ),
                          arguments: [
                           Identifier(
                            Identifier {
                             id: "onlyNixStore",
                             span: Span {
                              start: Position {
                               line: 358,
                               column: 34,
                              },
                              end: Position {
                               line: 358,
                               column: 46,
                              },
                             },
                            },
                           ),
                           PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "builtins",
                               span: Span {
                                start: Position {
                                 line: 358,
                                 column: 47,
                                },
                                end: Position {
                                 line: 358,
                                 column: 55,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "storeDir",
                                span: Span {
                                 start: Position {
                                  line: 358,
                                  column: 56,
                                 },
                                 end: Position {
                                  line: 358,
                                  column: 64,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                          ],
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "/* / ||\n  (echo >&2 \"ERROR: cptofs failed. diskSize might be too small for closure.\"; exit 1)\n",
                        span: Span {
                         start: Position {
                          line: 197,
                          column: 1,
                         },
                         end: Position {
                          line: 360,
                          column: 3,
                         },
                        },
                       },
                      ),
                     ],
                     span: Span {
                      start: Position {
                       line: 196,
                       column: 18,
                      },
                      end: Position {
                       line: 360,
                       column: 5,
                      },
                     },
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "moveOrConvertImage",
                      span: Span {
                       start: Position {
                        line: 362,
                        column: 3,
                       },
                       end: Position {
                        line: 362,
                        column: 21,
                       },
                      },
                     },
                    ),
                   ],
                   to: IndentedString(
                    IndentedString {
                     parts: [
                      Raw(
                       PartRaw {
                        content: "",
                        span: Span {
                         start: Position {
                          line: 363,
                          column: 1,
                         },
                         end: Position {
                          line: 363,
                          column: 5,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: IfThenElse(
                         IfThenElse {
                          predicate: BinaryOperation(
                           BinaryOperation {
                            left: Identifier(
                             Identifier {
                              id: "format",
                              span: Span {
                               start: Position {
                                line: 363,
                                column: 10,
                               },
                               end: Position {
                                line: 363,
                                column: 16,
                               },
                              },
                             },
                            ),
                            operator: EqualTo,
                            right: String(
                             String_ {
                              parts: [
                               Raw(
                                PartRaw {
                                 content: "raw",
                                 span: Span {
                                  start: Position {
                                   line: 363,
                                   column: 21,
                                  },
                                  end: Position {
                                   line: 363,
                                   column: 24,
                                  },
                                 },
                                },
                               ),
                              ],
                              span: Span {
                               start: Position {
                                line: 363,
                                column: 20,
                               },
                               end: Position {
                                line: 363,
                                column: 25,
                               },
                              },
                             },
                            ),
                           },
                          ),
                          then: IndentedString(
                           IndentedString {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "mv $diskImage $out/",
                               span: Span {
                                start: Position {
                                 line: 364,
                                 column: 1,
                                },
                                end: Position {
                                 line: 364,
                                 column: 26,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "filename",
                                 span: Span {
                                  start: Position {
                                   line: 364,
                                   column: 28,
                                  },
                                  end: Position {
                                   line: 364,
                                   column: 36,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: "\n",
                               span: Span {
                                start: Position {
                                 line: 364,
                                 column: 1,
                                },
                                end: Position {
                                 line: 365,
                                 column: 5,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 363,
                              column: 31,
                             },
                             end: Position {
                              line: 365,
                              column: 7,
                             },
                            },
                           },
                          ),
                          else_: IndentedString(
                           IndentedString {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "",
                               span: Span {
                                start: Position {
                                 line: 366,
                                 column: 1,
                                },
                                end: Position {
                                 line: 366,
                                 column: 7,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "pkgs",
                                   span: Span {
                                    start: Position {
                                     line: 366,
                                     column: 9,
                                    },
                                    end: Position {
                                     line: 366,
                                     column: 13,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "qemu",
                                    span: Span {
                                     start: Position {
                                      line: 366,
                                      column: 14,
                                     },
                                     end: Position {
                                      line: 366,
                                      column: 18,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: "/bin/qemu-img convert -f raw -O ",
                               span: Span {
                                start: Position {
                                 line: 366,
                                 column: 1,
                                },
                                end: Position {
                                 line: 366,
                                 column: 51,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "format",
                                 span: Span {
                                  start: Position {
                                   line: 366,
                                   column: 53,
                                  },
                                  end: Position {
                                   line: 366,
                                   column: 59,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " ",
                               span: Span {
                                start: Position {
                                 line: 366,
                                 column: 1,
                                },
                                end: Position {
                                 line: 366,
                                 column: 61,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "compress",
                                 span: Span {
                                  start: Position {
                                   line: 366,
                                   column: 63,
                                  },
                                  end: Position {
                                   line: 366,
                                   column: 71,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: " $diskImage $out/",
                               span: Span {
                                start: Position {
                                 line: 366,
                                 column: 1,
                                },
                                end: Position {
                                 line: 366,
                                 column: 89,
                                },
                               },
                              },
                             ),
                             Interpolation(
                              PartInterpolation {
                               expression: Identifier(
                                Identifier {
                                 id: "filename",
                                 span: Span {
                                  start: Position {
                                   line: 366,
                                   column: 91,
                                  },
                                  end: Position {
                                   line: 366,
                                   column: 99,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                             Raw(
                              PartRaw {
                               content: "\n",
                               span: Span {
                                start: Position {
                                 line: 366,
                                 column: 1,
                                },
                                end: Position {
                                 line: 367,
                                 column: 5,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 365,
                              column: 13,
                             },
                             end: Position {
                              line: 367,
                              column: 7,
                             },
                            },
                           },
                          ),
                          span: Span {
                           start: Position {
                            line: 363,
                            column: 7,
                           },
                           end: Position {
                            line: 367,
                            column: 7,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "\ndiskImage=$out/",
                        span: Span {
                         start: Position {
                          line: 363,
                          column: 1,
                         },
                         end: Position {
                          line: 368,
                          column: 20,
                         },
                        },
                       },
                      ),
                      Interpolation(
                       PartInterpolation {
                        expression: Identifier(
                         Identifier {
                          id: "filename",
                          span: Span {
                           start: Position {
                            line: 368,
                            column: 22,
                           },
                           end: Position {
                            line: 368,
                            column: 30,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "\n",
                        span: Span {
                         start: Position {
                          line: 363,
                          column: 1,
                         },
                         end: Position {
                          line: 369,
                          column: 3,
                         },
                        },
                       },
                      ),
                     ],
                     span: Span {
                      start: Position {
                       line: 362,
                       column: 24,
                      },
                      end: Position {
                       line: 369,
                       column: 5,
                      },
                     },
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "buildImage",
                      span: Span {
                       start: Position {
                        line: 371,
                        column: 3,
                       },
                       end: Position {
                        line: 371,
                        column: 13,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: PropertyAccess(
                      PropertyAccess {
                       expression: Identifier(
                        Identifier {
                         id: "pkgs",
                         span: Span {
                          start: Position {
                           line: 371,
                           column: 16,
                          },
                          end: Position {
                           line: 371,
                           column: 20,
                          },
                         },
                        },
                       ),
                       attribute_path: [
                        Raw(
                         PartRaw {
                          content: "vmTools",
                          span: Span {
                           start: Position {
                            line: 371,
                            column: 21,
                           },
                           end: Position {
                            line: 371,
                            column: 28,
                           },
                          },
                         },
                        ),
                        Raw(
                         PartRaw {
                          content: "runInLinuxVM",
                          span: Span {
                           start: Position {
                            line: 371,
                            column: 29,
                           },
                           end: Position {
                            line: 371,
                            column: 41,
                           },
                          },
                         },
                        ),
                       ],
                       default: None,
                      },
                     ),
                     arguments: [
                      FunctionApplication(
                       FunctionApplication {
                        function: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "pkgs",
                            span: Span {
                             start: Position {
                              line: 372,
                              column: 5,
                             },
                             end: Position {
                              line: 372,
                              column: 9,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "runCommand",
                             span: Span {
                              start: Position {
                               line: 372,
                               column: 10,
                              },
                              end: Position {
                               line: 372,
                               column: 20,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        arguments: [
                         Identifier(
                          Identifier {
                           id: "name",
                           span: Span {
                            start: Position {
                             line: 372,
                             column: 21,
                            },
                            end: Position {
                             line: 372,
                             column: 25,
                            },
                           },
                          },
                         ),
                         Map(
                          Map {
                           recursive: false,
                           bindings: [
                            KeyValue(
                             BindingKeyValue {
                              from: [
                               Raw(
                                PartRaw {
                                 content: "preVM",
                                 span: Span {
                                  start: Position {
                                   line: 373,
                                   column: 7,
                                  },
                                  end: Position {
                                   line: 373,
                                   column: 12,
                                  },
                                 },
                                },
                               ),
                              ],
                              to: Identifier(
                               Identifier {
                                id: "prepareImage",
                                span: Span {
                                 start: Position {
                                  line: 373,
                                  column: 15,
                                 },
                                 end: Position {
                                  line: 373,
                                  column: 27,
                                 },
                                },
                               },
                              ),
                             },
                            ),
                            KeyValue(
                             BindingKeyValue {
                              from: [
                               Raw(
                                PartRaw {
                                 content: "buildInputs",
                                 span: Span {
                                  start: Position {
                                   line: 374,
                                   column: 7,
                                  },
                                  end: Position {
                                   line: 374,
                                   column: 18,
                                  },
                                 },
                                },
                               ),
                              ],
                              to: With(
                               With {
                                expression: Identifier(
                                 Identifier {
                                  id: "pkgs",
                                  span: Span {
                                   start: Position {
                                    line: 374,
                                    column: 26,
                                   },
                                   end: Position {
                                    line: 374,
                                    column: 30,
                                   },
                                  },
                                 },
                                ),
                                target: List(
                                 List {
                                  elements: [
                                   Identifier(
                                    Identifier {
                                     id: "util-linux",
                                     span: Span {
                                      start: Position {
                                       line: 374,
                                       column: 34,
                                      },
                                      end: Position {
                                       line: 374,
                                       column: 44,
                                      },
                                     },
                                    },
                                   ),
                                   Identifier(
                                    Identifier {
                                     id: "e2fsprogs",
                                     span: Span {
                                      start: Position {
                                       line: 374,
                                       column: 45,
                                      },
                                      end: Position {
                                       line: 374,
                                       column: 54,
                                      },
                                     },
                                    },
                                   ),
                                   Identifier(
                                    Identifier {
                                     id: "dosfstools",
                                     span: Span {
                                      start: Position {
                                       line: 374,
                                       column: 55,
                                      },
                                      end: Position {
                                       line: 374,
                                       column: 65,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 374,
                                    column: 32,
                                   },
                                   end: Position {
                                    line: 374,
                                    column: 67,
                                   },
                                  },
                                 },
                                ),
                                span: Span {
                                 start: Position {
                                  line: 374,
                                  column: 21,
                                 },
                                 end: Position {
                                  line: 374,
                                  column: 67,
                                 },
                                },
                               },
                              ),
                             },
                            ),
                            KeyValue(
                             BindingKeyValue {
                              from: [
                               Raw(
                                PartRaw {
                                 content: "postVM",
                                 span: Span {
                                  start: Position {
                                   line: 375,
                                   column: 7,
                                  },
                                  end: Position {
                                   line: 375,
                                   column: 13,
                                  },
                                 },
                                },
                               ),
                              ],
                              to: BinaryOperation(
                               BinaryOperation {
                                left: Identifier(
                                 Identifier {
                                  id: "moveOrConvertImage",
                                  span: Span {
                                   start: Position {
                                    line: 375,
                                    column: 16,
                                   },
                                   end: Position {
                                    line: 375,
                                    column: 34,
                                   },
                                  },
                                 },
                                ),
                                operator: Addition,
                                right: Identifier(
                                 Identifier {
                                  id: "postVM",
                                  span: Span {
                                   start: Position {
                                    line: 375,
                                    column: 37,
                                   },
                                   end: Position {
                                    line: 375,
                                    column: 43,
                                   },
                                  },
                                 },
                                ),
                               },
                              ),
                             },
                            ),
                            KeyValue(
                             BindingKeyValue {
                              from: [
                               Raw(
                                PartRaw {
                                 content: "memSize",
                                 span: Span {
                                  start: Position {
                                   line: 376,
                                   column: 7,
                                  },
                                  end: Position {
                                   line: 376,
                                   column: 14,
                                  },
                                 },
                                },
                               ),
                              ],
                              to: Integer(
                               Integer {
                                value: "1024",
                                span: Span {
                                 start: Position {
                                  line: 376,
                                  column: 17,
                                 },
                                 end: Position {
                                  line: 376,
                                  column: 21,
                                 },
                                },
                               },
                              ),
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 372,
                             column: 26,
                            },
                            end: Position {
                             line: 377,
                             column: 6,
                            },
                           },
                          },
                         ),
                         IndentedString(
                          IndentedString {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "export PATH=",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 378,
                                column: 19,
                               },
                              },
                             },
                            ),
                            Interpolation(
                             PartInterpolation {
                              expression: Identifier(
                               Identifier {
                                id: "binPath",
                                span: Span {
                                 start: Position {
                                  line: 378,
                                  column: 21,
                                 },
                                 end: Position {
                                  line: 378,
                                  column: 28,
                                 },
                                },
                               },
                              ),
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: ":$PATH\n\nrootDisk=",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 380,
                                column: 16,
                               },
                              },
                             },
                            ),
                            Interpolation(
                             PartInterpolation {
                              expression: IfThenElse(
                               IfThenElse {
                                predicate: BinaryOperation(
                                 BinaryOperation {
                                  left: Identifier(
                                   Identifier {
                                    id: "partitionTableType",
                                    span: Span {
                                     start: Position {
                                      line: 380,
                                      column: 21,
                                     },
                                     end: Position {
                                      line: 380,
                                      column: 39,
                                     },
                                    },
                                   },
                                  ),
                                  operator: NotEqualTo,
                                  right: String(
                                   String_ {
                                    parts: [
                                     Raw(
                                      PartRaw {
                                       content: "none",
                                       span: Span {
                                        start: Position {
                                         line: 380,
                                         column: 44,
                                        },
                                        end: Position {
                                         line: 380,
                                         column: 48,
                                        },
                                       },
                                      },
                                     ),
                                    ],
                                    span: Span {
                                     start: Position {
                                      line: 380,
                                      column: 43,
                                     },
                                     end: Position {
                                      line: 380,
                                      column: 49,
                                     },
                                    },
                                   },
                                  ),
                                 },
                                ),
                                then: String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "/dev/vda",
                                     span: Span {
                                      start: Position {
                                       line: 380,
                                       column: 56,
                                      },
                                      end: Position {
                                       line: 380,
                                       column: 80,
                                      },
                                     },
                                    },
                                   ),
                                   Interpolation(
                                    PartInterpolation {
                                     expression: Identifier(
                                      Identifier {
                                       id: "rootPartition",
                                       span: Span {
                                        start: Position {
                                         line: 380,
                                         column: 66,
                                        },
                                        end: Position {
                                         line: 380,
                                         column: 79,
                                        },
                                       },
                                      },
                                     ),
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 380,
                                    column: 55,
                                   },
                                   end: Position {
                                    line: 380,
                                    column: 81,
                                   },
                                  },
                                 },
                                ),
                                else_: String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "/dev/vda",
                                     span: Span {
                                      start: Position {
                                       line: 380,
                                       column: 88,
                                      },
                                      end: Position {
                                       line: 380,
                                       column: 96,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 380,
                                    column: 87,
                                   },
                                   end: Position {
                                    line: 380,
                                    column: 97,
                                   },
                                  },
                                 },
                                ),
                                span: Span {
                                 start: Position {
                                  line: 380,
                                  column: 18,
                                 },
                                 end: Position {
                                  line: 380,
                                  column: 97,
                                 },
                                },
                               },
                              ),
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "\n\n# Some tools assume these exist\nln -s vda /dev/xvda\nln -s vda /dev/sda\n# make systemd-boot find ESP without udev\nmkdir /dev/block\nln -s /dev/vda1 /dev/block/254:1\n\nmountPoint=/mnt\nmkdir $mountPoint\nmount $rootDisk $mountPoint\n\n# Create the ESP and mount it. Unlike e2fsprogs, mkfs.vfat doesn't support an\n# '-E offset=X' option, so we can't do this outside the VM.\n",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 395,
                                column: 7,
                               },
                              },
                             },
                            ),
                            Interpolation(
                             PartInterpolation {
                              expression: FunctionApplication(
                               FunctionApplication {
                                function: Identifier(
                                 Identifier {
                                  id: "optionalString",
                                  span: Span {
                                   start: Position {
                                    line: 395,
                                    column: 9,
                                   },
                                   end: Position {
                                    line: 395,
                                    column: 23,
                                   },
                                  },
                                 },
                                ),
                                arguments: [
                                 BinaryOperation(
                                  BinaryOperation {
                                   left: BinaryOperation(
                                    BinaryOperation {
                                     left: Identifier(
                                      Identifier {
                                       id: "partitionTableType",
                                       span: Span {
                                        start: Position {
                                         line: 395,
                                         column: 25,
                                        },
                                        end: Position {
                                         line: 395,
                                         column: 43,
                                        },
                                       },
                                      },
                                     ),
                                     operator: EqualTo,
                                     right: String(
                                      String_ {
                                       parts: [
                                        Raw(
                                         PartRaw {
                                          content: "efi",
                                          span: Span {
                                           start: Position {
                                            line: 395,
                                            column: 48,
                                           },
                                           end: Position {
                                            line: 395,
                                            column: 51,
                                           },
                                          },
                                         },
                                        ),
                                       ],
                                       span: Span {
                                        start: Position {
                                         line: 395,
                                         column: 47,
                                        },
                                        end: Position {
                                         line: 395,
                                         column: 52,
                                        },
                                       },
                                      },
                                     ),
                                    },
                                   ),
                                   operator: LogicalOr,
                                   right: BinaryOperation(
                                    BinaryOperation {
                                     left: Identifier(
                                      Identifier {
                                       id: "partitionTableType",
                                       span: Span {
                                        start: Position {
                                         line: 395,
                                         column: 56,
                                        },
                                        end: Position {
                                         line: 395,
                                         column: 74,
                                        },
                                       },
                                      },
                                     ),
                                     operator: EqualTo,
                                     right: String(
                                      String_ {
                                       parts: [
                                        Raw(
                                         PartRaw {
                                          content: "hybrid",
                                          span: Span {
                                           start: Position {
                                            line: 395,
                                            column: 79,
                                           },
                                           end: Position {
                                            line: 395,
                                            column: 85,
                                           },
                                          },
                                         },
                                        ),
                                       ],
                                       span: Span {
                                        start: Position {
                                         line: 395,
                                         column: 78,
                                        },
                                        end: Position {
                                         line: 395,
                                         column: 86,
                                        },
                                       },
                                      },
                                     ),
                                    },
                                   ),
                                  },
                                 ),
                                 IndentedString(
                                  IndentedString {
                                   parts: [
                                    Raw(
                                     PartRaw {
                                      content: "mkdir -p /mnt/boot\nmkfs.vfat -n ESP /dev/vda1\nmount /dev/vda1 /mnt/boot\n",
                                      span: Span {
                                       start: Position {
                                        line: 396,
                                        column: 1,
                                       },
                                       end: Position {
                                        line: 399,
                                        column: 7,
                                       },
                                      },
                                     },
                                    ),
                                   ],
                                   span: Span {
                                    start: Position {
                                     line: 395,
                                     column: 88,
                                    },
                                    end: Position {
                                     line: 399,
                                     column: 9,
                                    },
                                   },
                                  },
                                 ),
                                ],
                               },
                              ),
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "\n\n# Install a configuration.nix\nmkdir -p /mnt/etc/nixos\n",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 403,
                                column: 7,
                               },
                              },
                             },
                            ),
                            Interpolation(
                             PartInterpolation {
                              expression: FunctionApplication(
                               FunctionApplication {
                                function: Identifier(
                                 Identifier {
                                  id: "optionalString",
                                  span: Span {
                                   start: Position {
                                    line: 403,
                                    column: 9,
                                   },
                                   end: Position {
                                    line: 403,
                                    column: 23,
                                   },
                                  },
                                 },
                                ),
                                arguments: [
                                 BinaryOperation(
                                  BinaryOperation {
                                   left: Identifier(
                                    Identifier {
                                     id: "configFile",
                                     span: Span {
                                      start: Position {
                                       line: 403,
                                       column: 25,
                                      },
                                      end: Position {
                                       line: 403,
                                       column: 35,
                                      },
                                     },
                                    },
                                   ),
                                   operator: NotEqualTo,
                                   right: Identifier(
                                    Identifier {
                                     id: "null",
                                     span: Span {
                                      start: Position {
                                       line: 403,
                                       column: 39,
                                      },
                                      end: Position {
                                       line: 403,
                                       column: 43,
                                      },
                                     },
                                    },
                                   ),
                                  },
                                 ),
                                 IndentedString(
                                  IndentedString {
                                   parts: [
                                    Raw(
                                     PartRaw {
                                      content: "cp ",
                                      span: Span {
                                       start: Position {
                                        line: 404,
                                        column: 1,
                                       },
                                       end: Position {
                                        line: 404,
                                        column: 12,
                                       },
                                      },
                                     },
                                    ),
                                    Interpolation(
                                     PartInterpolation {
                                      expression: Identifier(
                                       Identifier {
                                        id: "configFile",
                                        span: Span {
                                         start: Position {
                                          line: 404,
                                          column: 14,
                                         },
                                         end: Position {
                                          line: 404,
                                          column: 24,
                                         },
                                        },
                                       },
                                      ),
                                     },
                                    ),
                                    Raw(
                                     PartRaw {
                                      content: " /mnt/etc/nixos/configuration.nix\n",
                                      span: Span {
                                       start: Position {
                                        line: 404,
                                        column: 1,
                                       },
                                       end: Position {
                                        line: 405,
                                        column: 7,
                                       },
                                      },
                                     },
                                    ),
                                   ],
                                   span: Span {
                                    start: Position {
                                     line: 403,
                                     column: 45,
                                    },
                                    end: Position {
                                     line: 405,
                                     column: 9,
                                    },
                                   },
                                  },
                                 ),
                                ],
                               },
                              ),
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "\n\n",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 407,
                                column: 7,
                               },
                              },
                             },
                            ),
                            Interpolation(
                             PartInterpolation {
                              expression: FunctionApplication(
                               FunctionApplication {
                                function: PropertyAccess(
                                 PropertyAccess {
                                  expression: Identifier(
                                   Identifier {
                                    id: "lib",
                                    span: Span {
                                     start: Position {
                                      line: 407,
                                      column: 9,
                                     },
                                     end: Position {
                                      line: 407,
                                      column: 12,
                                     },
                                    },
                                   },
                                  ),
                                  attribute_path: [
                                   Raw(
                                    PartRaw {
                                     content: "optionalString",
                                     span: Span {
                                      start: Position {
                                       line: 407,
                                       column: 13,
                                      },
                                      end: Position {
                                       line: 407,
                                       column: 27,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  default: None,
                                 },
                                ),
                                arguments: [
                                 Identifier(
                                  Identifier {
                                   id: "installBootLoader",
                                   span: Span {
                                    start: Position {
                                     line: 407,
                                     column: 28,
                                    },
                                    end: Position {
                                     line: 407,
                                     column: 45,
                                    },
                                   },
                                  },
                                 ),
                                 IndentedString(
                                  IndentedString {
                                   parts: [
                                    Raw(
                                     PartRaw {
                                      content: "# Set up core system link, GRUB, etc.\nNIXOS_INSTALL_BOOTLOADER=1 nixos-enter --root $mountPoint -- /nix/var/nix/profiles/system/bin/switch-to-configuration boot\n\n# The above scripts will generate a random machine-id and we don't want to bake a single ID into all our images\nrm -f $mountPoint/etc/machine-id\n",
                                      span: Span {
                                       start: Position {
                                        line: 408,
                                        column: 1,
                                       },
                                       end: Position {
                                        line: 413,
                                        column: 7,
                                       },
                                      },
                                     },
                                    ),
                                   ],
                                   span: Span {
                                    start: Position {
                                     line: 407,
                                     column: 46,
                                    },
                                    end: Position {
                                     line: 413,
                                     column: 9,
                                    },
                                   },
                                  },
                                 ),
                                ],
                               },
                              ),
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "\n\n# Set the ownerships of the contents. The modes are set in preVM.\n# No globbing on targets, so no need to set -f\ntargets_=(",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 417,
                                column: 17,
                               },
                              },
                             },
                            ),
                            Interpolation(
                             PartInterpolation {
                              expression: FunctionApplication(
                               FunctionApplication {
                                function: Identifier(
                                 Identifier {
                                  id: "concatStringsSep",
                                  span: Span {
                                   start: Position {
                                    line: 417,
                                    column: 19,
                                   },
                                   end: Position {
                                    line: 417,
                                    column: 35,
                                   },
                                  },
                                 },
                                ),
                                arguments: [
                                 String(
                                  String_ {
                                   parts: [
                                    Raw(
                                     PartRaw {
                                      content: " ",
                                      span: Span {
                                       start: Position {
                                        line: 417,
                                        column: 37,
                                       },
                                       end: Position {
                                        line: 417,
                                        column: 38,
                                       },
                                      },
                                     },
                                    ),
                                   ],
                                   span: Span {
                                    start: Position {
                                     line: 417,
                                     column: 36,
                                    },
                                    end: Position {
                                     line: 417,
                                     column: 39,
                                    },
                                   },
                                  },
                                 ),
                                 Identifier(
                                  Identifier {
                                   id: "targets",
                                   span: Span {
                                    start: Position {
                                     line: 417,
                                     column: 40,
                                    },
                                    end: Position {
                                     line: 417,
                                     column: 47,
                                    },
                                   },
                                  },
                                 ),
                                ],
                               },
                              ),
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: ")\nusers_=(",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 418,
                                column: 15,
                               },
                              },
                             },
                            ),
                            Interpolation(
                             PartInterpolation {
                              expression: FunctionApplication(
                               FunctionApplication {
                                function: Identifier(
                                 Identifier {
                                  id: "concatStringsSep",
                                  span: Span {
                                   start: Position {
                                    line: 418,
                                    column: 17,
                                   },
                                   end: Position {
                                    line: 418,
                                    column: 33,
                                   },
                                  },
                                 },
                                ),
                                arguments: [
                                 String(
                                  String_ {
                                   parts: [
                                    Raw(
                                     PartRaw {
                                      content: " ",
                                      span: Span {
                                       start: Position {
                                        line: 418,
                                        column: 35,
                                       },
                                       end: Position {
                                        line: 418,
                                        column: 36,
                                       },
                                      },
                                     },
                                    ),
                                   ],
                                   span: Span {
                                    start: Position {
                                     line: 418,
                                     column: 34,
                                    },
                                    end: Position {
                                     line: 418,
                                     column: 37,
                                    },
                                   },
                                  },
                                 ),
                                 Identifier(
                                  Identifier {
                                   id: "users",
                                   span: Span {
                                    start: Position {
                                     line: 418,
                                     column: 38,
                                    },
                                    end: Position {
                                     line: 418,
                                     column: 43,
                                    },
                                   },
                                  },
                                 ),
                                ],
                               },
                              ),
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: ")\ngroups_=(",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 419,
                                column: 16,
                               },
                              },
                             },
                            ),
                            Interpolation(
                             PartInterpolation {
                              expression: FunctionApplication(
                               FunctionApplication {
                                function: Identifier(
                                 Identifier {
                                  id: "concatStringsSep",
                                  span: Span {
                                   start: Position {
                                    line: 419,
                                    column: 18,
                                   },
                                   end: Position {
                                    line: 419,
                                    column: 34,
                                   },
                                  },
                                 },
                                ),
                                arguments: [
                                 String(
                                  String_ {
                                   parts: [
                                    Raw(
                                     PartRaw {
                                      content: " ",
                                      span: Span {
                                       start: Position {
                                        line: 419,
                                        column: 36,
                                       },
                                       end: Position {
                                        line: 419,
                                        column: 37,
                                       },
                                      },
                                     },
                                    ),
                                   ],
                                   span: Span {
                                    start: Position {
                                     line: 419,
                                     column: 35,
                                    },
                                    end: Position {
                                     line: 419,
                                     column: 38,
                                    },
                                   },
                                  },
                                 ),
                                 Identifier(
                                  Identifier {
                                   id: "groups",
                                   span: Span {
                                    start: Position {
                                     line: 419,
                                     column: 39,
                                    },
                                    end: Position {
                                     line: 419,
                                     column: 45,
                                    },
                                   },
                                  },
                                 ),
                                ],
                               },
                              ),
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: ")\nfor ((i = 0; i < ",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 420,
                                column: 24,
                               },
                              },
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "$",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 420,
                                column: 27,
                               },
                              },
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "{#targets_[@]}; i++)); do\n  target=\"",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 421,
                                column: 17,
                               },
                              },
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "$",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 421,
                                column: 20,
                               },
                              },
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "{targets_[$i]}\"\n  user=\"",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 422,
                                column: 15,
                               },
                              },
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "$",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 422,
                                column: 18,
                               },
                              },
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "{users_[$i]}\"\n  group=\"",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 423,
                                column: 16,
                               },
                              },
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "$",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 423,
                                column: 19,
                               },
                              },
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "{groups_[$i]}\"\n  if [ -n \"$user$group\" ]; then\n    # We have to nixos-enter since we need to use the user and group of the VM\n    nixos-enter --root $mountPoint -- chown -R \"$user:$group\" \"$target\"\n  fi\ndone\n\numount -R /mnt\n\n# Make sure resize2fs works. Note that resize2fs has stricter criteria for resizing than a normal\n# mount, so the `-c 0` and `-i 0` don't affect it. Setting it to `now` doesn't produce deterministic\n# output, of course, but we can fix that when/if we start making images deterministic.\n",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 435,
                                column: 7,
                               },
                              },
                             },
                            ),
                            Interpolation(
                             PartInterpolation {
                              expression: FunctionApplication(
                               FunctionApplication {
                                function: Identifier(
                                 Identifier {
                                  id: "optionalString",
                                  span: Span {
                                   start: Position {
                                    line: 435,
                                    column: 9,
                                   },
                                   end: Position {
                                    line: 435,
                                    column: 23,
                                   },
                                  },
                                 },
                                ),
                                arguments: [
                                 BinaryOperation(
                                  BinaryOperation {
                                   left: Identifier(
                                    Identifier {
                                     id: "fsType",
                                     span: Span {
                                      start: Position {
                                       line: 435,
                                       column: 25,
                                      },
                                      end: Position {
                                       line: 435,
                                       column: 31,
                                      },
                                     },
                                    },
                                   ),
                                   operator: EqualTo,
                                   right: String(
                                    String_ {
                                     parts: [
                                      Raw(
                                       PartRaw {
                                        content: "ext4",
                                        span: Span {
                                         start: Position {
                                          line: 435,
                                          column: 36,
                                         },
                                         end: Position {
                                          line: 435,
                                          column: 40,
                                         },
                                        },
                                       },
                                      ),
                                     ],
                                     span: Span {
                                      start: Position {
                                       line: 435,
                                       column: 35,
                                      },
                                      end: Position {
                                       line: 435,
                                       column: 41,
                                      },
                                     },
                                    },
                                   ),
                                  },
                                 ),
                                 IndentedString(
                                  IndentedString {
                                   parts: [
                                    Raw(
                                     PartRaw {
                                      content: "tune2fs -T now -c 0 -i 0 $rootDisk\n",
                                      span: Span {
                                       start: Position {
                                        line: 436,
                                        column: 1,
                                       },
                                       end: Position {
                                        line: 437,
                                        column: 7,
                                       },
                                      },
                                     },
                                    ),
                                   ],
                                   span: Span {
                                    start: Position {
                                     line: 435,
                                     column: 43,
                                    },
                                    end: Position {
                                     line: 437,
                                     column: 9,
                                    },
                                   },
                                  },
                                 ),
                                ],
                               },
                              ),
                             },
                            ),
                            Raw(
                             PartRaw {
                              content: "\n",
                              span: Span {
                               start: Position {
                                line: 378,
                                column: 1,
                               },
                               end: Position {
                                line: 438,
                                column: 5,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 377,
                             column: 7,
                            },
                            end: Position {
                             line: 438,
                             column: 7,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                ],
                target: IfThenElse(
                 IfThenElse {
                  predicate: Identifier(
                   Identifier {
                    id: "onlyNixStore",
                    span: Span {
                     start: Position {
                      line: 441,
                      column: 6,
                     },
                     end: Position {
                      line: 441,
                      column: 18,
                     },
                    },
                   },
                  ),
                  then: FunctionApplication(
                   FunctionApplication {
                    function: PropertyAccess(
                     PropertyAccess {
                      expression: Identifier(
                       Identifier {
                        id: "pkgs",
                        span: Span {
                         start: Position {
                          line: 442,
                          column: 5,
                         },
                         end: Position {
                          line: 442,
                          column: 9,
                         },
                        },
                       },
                      ),
                      attribute_path: [
                       Raw(
                        PartRaw {
                         content: "runCommand",
                         span: Span {
                          start: Position {
                           line: 442,
                           column: 10,
                          },
                          end: Position {
                           line: 442,
                           column: 20,
                          },
                         },
                        },
                       ),
                      ],
                      default: None,
                     },
                    ),
                    arguments: [
                     Identifier(
                      Identifier {
                       id: "name",
                       span: Span {
                        start: Position {
                         line: 442,
                         column: 21,
                        },
                        end: Position {
                         line: 442,
                         column: 25,
                        },
                       },
                      },
                     ),
                     Map(
                      Map {
                       recursive: false,
                       bindings: [],
                       span: Span {
                        start: Position {
                         line: 442,
                         column: 26,
                        },
                        end: Position {
                         line: 442,
                         column: 28,
                        },
                       },
                      },
                     ),
                     BinaryOperation(
                      BinaryOperation {
                       left: BinaryOperation(
                        BinaryOperation {
                         left: Identifier(
                          Identifier {
                           id: "prepareImage",
                           span: Span {
                            start: Position {
                             line: 443,
                             column: 8,
                            },
                            end: Position {
                             line: 443,
                             column: 20,
                            },
                           },
                          },
                         ),
                         operator: Addition,
                         right: Identifier(
                          Identifier {
                           id: "moveOrConvertImage",
                           span: Span {
                            start: Position {
                             line: 443,
                             column: 23,
                            },
                            end: Position {
                             line: 443,
                             column: 41,
                            },
                           },
                          },
                         ),
                        },
                       ),
                       operator: Addition,
                       right: Identifier(
                        Identifier {
                         id: "postVM",
                         span: Span {
                          start: Position {
                           line: 443,
                           column: 44,
                          },
                          end: Position {
                           line: 443,
                           column: 50,
                          },
                         },
                        },
                       ),
                      },
                     ),
                    ],
                   },
                  ),
                  else_: Identifier(
                   Identifier {
                    id: "buildImage",
                    span: Span {
                     start: Position {
                      line: 444,
                      column: 8,
                     },
                     end: Position {
                      line: 444,
                      column: 18,
                     },
                    },
                   },
                  ),
                  span: Span {
                   start: Position {
                    line: 441,
                    column: 3,
                   },
                   end: Position {
                    line: 444,
                    column: 18,
                   },
                  },
                 },
                ),
                span: Span {
                 start: Position {
                  line: 95,
                  column: 26,
                 },
                 end: Position {
                  line: 444,
                  column: 18,
                 },
                },
               },
              ),
              span: Span {
               start: Position {
                line: 95,
                column: 1,
               },
               end: Position {
                line: 444,
                column: 18,
               },
              },
             },
            ),
            span: Span {
             start: Position {
              line: 93,
              column: 1,
             },
             end: Position {
              line: 444,
              column: 18,
             },
            },
           },
          ),
          span: Span {
           start: Position {
            line: 91,
            column: 1,
           },
           end: Position {
            line: 444,
            column: 18,
           },
          },
         },
        ),
        span: Span {
         start: Position {
          line: 87,
          column: 1,
         },
         end: Position {
          line: 444,
          column: 18,
         },
        },
       },
      ),
      span: Span {
       start: Position {
        line: 85,
        column: 1,
       },
       end: Position {
        line: 444,
        column: 18,
       },
      },
     },
    ),
    span: Span {
     start: Position {
      line: 83,
      column: 1,
     },
     end: Position {
      line: 444,
      column: 18,
     },
    },
   },
  ),
  span: Span {
   start: Position {
    line: 1,
    column: 1,
   },
   end: Position {
    line: 444,
    column: 18,
   },
  },
 },
)