anchor.diff:      }
   
       drop() {
  -        local c=$1
  +        local c="$1"
           shift
           if [ -e "$1" ]; then
               cat "$1" | ( dd of=/dev/null bs="$c" count=1 2>/dev/null ; dd 2>/dev/null )
  
positive.code:         yubikey = mkOption {
            default = null;
            type = types.nullOr types.optionSet;
            description = "TODO";
  
            options = {
              twoFactor = mkOption {
                default = false;
                type = types.bool;
                description = "TODO";
              };
  
              slot = mkOption {
                default = 2;
                type = types.int;
                description = "TODO";
              };
  
              storage = mkOption {
                type = types.optionSet;
                description = "TODO";
  
                options = {
                  device = mkOption {
                    default = /dev/sda1;
                    type = types.path;
                    description = "TODO";
                  };
  
                  fsType = mkOption {
                    default = "vfat";
                    type = types.string;
                    description = "TODO";
                  };
  
                  mountPoint = mkOption {
                    default = "/crypt-storage";
                    type = types.string;
                    description = "TODO";
                  };
  
                  path = mkOption {
                    default = "/crypt-storage/default";
                    type = types.string;
                    description = "TODO";
                  };
                };
              };
  
negative.code:     boot.initrd.luks.yubikeySupport = mkOption {
        default = false;
        type = types.bool;
        description = ''
              Enables support for authenticating with a Yubikey on LUKS devices.
              See the NixOS wiki for information on how to properly setup a LUKS device
              and a Yubikey to work with this feature.
            '';
      };
    };
  
  