anchor.diff:              ${attrsToSection def.ipv6PrefixDelegationConfig}
   
             ''}
  +          ${flip concatMapStrings def.ipv6Prefixes (x: ''
  +            [IPv6Prefix]
  +            ${attrsToSection x.ipv6PrefixConfig}
  +
  +          '')}
             ${optionalString (def.dhcpServerConfig != { }) ''
               [DHCPServer]
               ${attrsToSection def.dhcpServerConfig}
  
positive.code:     };
    };
  
  
    networkOptions = commonNetworkOptions // {
  
  
negative.code:     (assertMinimum "DNSLifetimeSec" 0)
    ];
  
    checkIpv6Prefix = checkUnitConfig "IPv6Prefix" [
      (assertOnlyFields [
        "AddressAutoconfiguration"  "OnLink"  "Prefix"
        "PreferredLifetimeSec" "ValidLifetimeSec"
      ])
      (assertValueOneOf "AddressAutoconfiguration" boolValues)
      (assertValueOneOf "OnLink" boolValues)
      (assertMinimum "PreferredLifetimeSec" 0)
      (assertMinimum "ValidLifetimeSec" 0)
    ];
  
  
    checkDhcpServer = checkUnitConfig "DHCPServer" [
      (assertOnlyFields [
        "PoolOffset" "PoolSize" "DefaultLeaseTimeSec" "MaxLeaseTimeSec"
  