anchor.diff:        ensureNoPartition("vdb4");
         ensureNoPartition("vdc4");
         ensureNoPartition("md2");
  -      remount_and_check;
  +      remountAndCheck;
         ensureMountPoint("/mnt/boot");
       };
   
  
positive.code:       ensurePartition("/dev/nixos/boot", "ext3");
        ensurePartition("/dev/nixos/swap", "swap");
        ensurePartition("/dev/nixos/root", "ext4");
        remount_and_check;
        ensureMountPoint("/mnt/boot");
      };
    '';
  
negative.code:       ensurePartition("/dev/vdb4", "boot sector");
        ensureNoPartition("vdb6");
        ensureNoPartition("vdc1");
        remountAndCheck;
        ensureMountPoint("/mnt/boot");
        ensureMountPoint("/mnt/nix");
      };
  