Function(
 Function {
  head: Destructured(
   FunctionHeadDestructured {
    ellipsis: false,
    identifier: None,
    arguments: [
     FunctionHeadDestructuredArgument {
      identifier: "stdenv",
      default: None,
     },
     FunctionHeadDestructuredArgument {
      identifier: "linuxHeaders",
      default: None,
     },
     FunctionHeadDestructuredArgument {
      identifier: "parentWrapperDir",
      default: None,
     },
     FunctionHeadDestructuredArgument {
      identifier: "debug",
      default: Some(
       Identifier(
        Identifier {
         id: "false",
         span: Span {
          start: Position {
           line: 1,
           column: 51,
          },
          end: Position {
           line: 1,
           column: 56,
          },
         },
        },
       ),
      ),
     },
    ],
   },
  ),
  body: FunctionApplication(
   FunctionApplication {
    function: PropertyAccess(
     PropertyAccess {
      expression: Identifier(
       Identifier {
        id: "stdenv",
        span: Span {
         start: Position {
          line: 4,
          column: 1,
         },
         end: Position {
          line: 4,
          column: 7,
         },
        },
       },
      ),
      attribute_path: [
       Raw(
        PartRaw {
         content: "mkDerivation",
         span: Span {
          start: Position {
           line: 4,
           column: 8,
          },
          end: Position {
           line: 4,
           column: 20,
          },
         },
        },
       ),
      ],
      default: None,
     },
    ),
    arguments: [
     Map(
      Map {
       recursive: false,
       bindings: [
        KeyValue(
         BindingKeyValue {
          from: [
           Raw(
            PartRaw {
             content: "name",
             span: Span {
              start: Position {
               line: 5,
               column: 3,
              },
              end: Position {
               line: 5,
               column: 7,
              },
             },
            },
           ),
          ],
          to: String(
           String_ {
            parts: [
             Raw(
              PartRaw {
               content: "security-wrapper",
               span: Span {
                start: Position {
                 line: 5,
                 column: 11,
                },
                end: Position {
                 line: 5,
                 column: 27,
                },
               },
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 5,
              column: 10,
             },
             end: Position {
              line: 5,
              column: 28,
             },
            },
           },
          ),
         },
        ),
        KeyValue(
         BindingKeyValue {
          from: [
           Raw(
            PartRaw {
             content: "buildInputs",
             span: Span {
              start: Position {
               line: 6,
               column: 3,
              },
              end: Position {
               line: 6,
               column: 14,
              },
             },
            },
           ),
          ],
          to: List(
           List {
            elements: [
             Identifier(
              Identifier {
               id: "linuxHeaders",
               span: Span {
                start: Position {
                 line: 6,
                 column: 19,
                },
                end: Position {
                 line: 6,
                 column: 31,
                },
               },
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 6,
              column: 17,
             },
             end: Position {
              line: 6,
              column: 33,
             },
            },
           },
          ),
         },
        ),
        KeyValue(
         BindingKeyValue {
          from: [
           Raw(
            PartRaw {
             content: "dontUnpack",
             span: Span {
              start: Position {
               line: 7,
               column: 3,
              },
              end: Position {
               line: 7,
               column: 13,
              },
             },
            },
           ),
          ],
          to: Identifier(
           Identifier {
            id: "true",
            span: Span {
             start: Position {
              line: 7,
              column: 16,
             },
             end: Position {
              line: 7,
              column: 20,
             },
            },
           },
          ),
         },
        ),
        KeyValue(
         BindingKeyValue {
          from: [
           Raw(
            PartRaw {
             content: "hardeningEnable",
             span: Span {
              start: Position {
               line: 8,
               column: 3,
              },
              end: Position {
               line: 8,
               column: 18,
              },
             },
            },
           ),
          ],
          to: List(
           List {
            elements: [
             String(
              String_ {
               parts: [
                Raw(
                 PartRaw {
                  content: "pie",
                  span: Span {
                   start: Position {
                    line: 8,
                    column: 24,
                   },
                   end: Position {
                    line: 8,
                    column: 27,
                   },
                  },
                 },
                ),
               ],
               span: Span {
                start: Position {
                 line: 8,
                 column: 23,
                },
                end: Position {
                 line: 8,
                 column: 28,
                },
               },
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 8,
              column: 21,
             },
             end: Position {
              line: 8,
              column: 30,
             },
            },
           },
          ),
         },
        ),
        KeyValue(
         BindingKeyValue {
          from: [
           Raw(
            PartRaw {
             content: "CFLAGS",
             span: Span {
              start: Position {
               line: 9,
               column: 3,
              },
              end: Position {
               line: 9,
               column: 9,
              },
             },
            },
           ),
          ],
          to: BinaryOperation(
           BinaryOperation {
            left: List(
             List {
              elements: [
               IndentedString(
                IndentedString {
                 parts: [
                  Raw(
                   PartRaw {
                    content: "-DWRAPPER_DIR=\"",
                    span: Span {
                     start: Position {
                      line: 10,
                      column: 7,
                     },
                     end: Position {
                      line: 10,
                      column: 22,
                     },
                    },
                   },
                  ),
                  Interpolation(
                   PartInterpolation {
                    expression: Identifier(
                     Identifier {
                      id: "parentWrapperDir",
                      span: Span {
                       start: Position {
                        line: 10,
                        column: 24,
                       },
                       end: Position {
                        line: 10,
                        column: 40,
                       },
                      },
                     },
                    ),
                   },
                  ),
                  Raw(
                   PartRaw {
                    content: "\"",
                    span: Span {
                     start: Position {
                      line: 10,
                      column: 7,
                     },
                     end: Position {
                      line: 10,
                      column: 42,
                     },
                    },
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 10,
                   column: 5,
                  },
                  end: Position {
                   line: 10,
                   column: 44,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 9,
                column: 12,
               },
               end: Position {
                line: 11,
                column: 4,
               },
              },
             },
            ),
            operator: Concatenation,
            right: IfThenElse(
             IfThenElse {
              predicate: Identifier(
               Identifier {
                id: "debug",
                span: Span {
                 start: Position {
                  line: 11,
                  column: 12,
                 },
                 end: Position {
                  line: 11,
                  column: 17,
                 },
                },
               },
              ),
              then: List(
               List {
                elements: [
                 String(
                  String_ {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "-Werror",
                      span: Span {
                       start: Position {
                        line: 12,
                        column: 6,
                       },
                       end: Position {
                        line: 12,
                        column: 13,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 12,
                     column: 5,
                    },
                    end: Position {
                     line: 12,
                     column: 14,
                    },
                   },
                  },
                 ),
                 String(
                  String_ {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "-Og",
                      span: Span {
                       start: Position {
                        line: 12,
                        column: 16,
                       },
                       end: Position {
                        line: 12,
                        column: 19,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 12,
                     column: 15,
                    },
                    end: Position {
                     line: 12,
                     column: 20,
                    },
                   },
                  },
                 ),
                 String(
                  String_ {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "-g",
                      span: Span {
                       start: Position {
                        line: 12,
                        column: 22,
                       },
                       end: Position {
                        line: 12,
                        column: 24,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 12,
                     column: 21,
                    },
                    end: Position {
                     line: 12,
                     column: 25,
                    },
                   },
                  },
                 ),
                ],
                span: Span {
                 start: Position {
                  line: 11,
                  column: 23,
                 },
                 end: Position {
                  line: 13,
                  column: 4,
                 },
                },
               },
              ),
              else_: List(
               List {
                elements: [
                 String(
                  String_ {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "-Wall",
                      span: Span {
                       start: Position {
                        line: 14,
                        column: 6,
                       },
                       end: Position {
                        line: 14,
                        column: 11,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 14,
                     column: 5,
                    },
                    end: Position {
                     line: 14,
                     column: 12,
                    },
                   },
                  },
                 ),
                 String(
                  String_ {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "-O2",
                      span: Span {
                       start: Position {
                        line: 14,
                        column: 14,
                       },
                       end: Position {
                        line: 14,
                        column: 17,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 14,
                     column: 13,
                    },
                    end: Position {
                     line: 14,
                     column: 18,
                    },
                   },
                  },
                 ),
                ],
                span: Span {
                 start: Position {
                  line: 13,
                  column: 10,
                 },
                 end: Position {
                  line: 15,
                  column: 4,
                 },
                },
               },
              ),
              span: Span {
               start: Position {
                line: 11,
                column: 9,
               },
               end: Position {
                line: 15,
                column: 4,
               },
              },
             },
            ),
           },
          ),
         },
        ),
        KeyValue(
         BindingKeyValue {
          from: [
           Raw(
            PartRaw {
             content: "dontStrip",
             span: Span {
              start: Position {
               line: 16,
               column: 3,
              },
              end: Position {
               line: 16,
               column: 12,
              },
             },
            },
           ),
          ],
          to: Identifier(
           Identifier {
            id: "debug",
            span: Span {
             start: Position {
              line: 16,
              column: 15,
             },
             end: Position {
              line: 16,
              column: 20,
             },
            },
           },
          ),
         },
        ),
        KeyValue(
         BindingKeyValue {
          from: [
           Raw(
            PartRaw {
             content: "installPhase",
             span: Span {
              start: Position {
               line: 17,
               column: 3,
              },
              end: Position {
               line: 17,
               column: 15,
              },
             },
            },
           ),
          ],
          to: IndentedString(
           IndentedString {
            parts: [
             Raw(
              PartRaw {
               content: "mkdir -p $out/bin\n$CC $CFLAGS ",
               span: Span {
                start: Position {
                 line: 18,
                 column: 1,
                },
                end: Position {
                 line: 19,
                 column: 17,
                },
               },
              },
             ),
             Interpolation(
              PartInterpolation {
               expression: Path(
                Path {
                 parts: [
                  Raw(
                   PartRaw {
                    content: "./wrapper.c",
                    span: Span {
                     start: Position {
                      line: 19,
                      column: 19,
                     },
                     end: Position {
                      line: 19,
                      column: 30,
                     },
                    },
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 19,
                   column: 19,
                  },
                  end: Position {
                   line: 19,
                   column: 30,
                  },
                 },
                },
               ),
              },
             ),
             Raw(
              PartRaw {
               content: " -o $out/bin/security-wrapper\n",
               span: Span {
                start: Position {
                 line: 18,
                 column: 1,
                },
                end: Position {
                 line: 20,
                 column: 3,
                },
               },
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 17,
              column: 18,
             },
             end: Position {
              line: 20,
              column: 5,
             },
            },
           },
          ),
         },
        ),
       ],
       span: Span {
        start: Position {
         line: 4,
         column: 21,
        },
        end: Position {
         line: 21,
         column: 2,
        },
       },
      },
     ),
    ],
   },
  ),
  span: Span {
   start: Position {
    line: 1,
    column: 1,
   },
   end: Position {
    line: 21,
    column: 2,
   },
  },
 },
)