assert(getprop("ro.product.device") == "beryllium" || getprop("ro.build.product") == "beryllium" || abort("E3004: This package is for device: beryllium; this device is " + getprop("ro.product.device") + "."););
assert(xiaomi.verify_modem("2019-02-13 23:02:56") == "1" || abort("ERROR: This package requires firmware from MIUI 9.2.15 developer build or newer. Please upgrade firmware and retry!"););
assert(xiaomi.verify_vendor("1550233434", "28") == "1" || abort("ERROR: This package requires vendor from MIUI 9.2.15 developer build or newer. Please upgrade vendor image along with matching firmware and retry!"););
ui_print("Target: Xiaomi/polaris/polaris:8.0.0/OPR1.170623.032/V9.5.19.0.ODGMIFA:user/release-keys");
ifelse(is_mounted("/system"), unmount("/system"));
package_extract_dir("install", "/tmp/install");
set_metadata_recursive("/tmp/install", "uid", 0, "gid", 0, "dmode", 0755, "fmode", 0644);
set_metadata_recursive("/tmp/install/bin", "uid", 0, "gid", 0, "dmode", 0755, "fmode", 0755);
mount("ext4", "EMMC", "/dev/block/bootdevice/by-name/system", "/system", "");
run_program("/tmp/install/bin/backuptool.sh", "backup", "/system");
unmount("/system");
show_progress(0.750000, 0);
ui_print("Patching system image unconditionally...");
block_image_update("/dev/block/bootdevice/by-name/system", package_extract_file("system.transfer.list"), "system.new.dat.br", "system.patch.dat") ||
  abort("E1001: Failed to update system image.");
show_progress(0.020000, 10);
mount("ext4", "EMMC", "/dev/block/bootdevice/by-name/system", "/system", "");
run_program("/tmp/install/bin/backuptool.sh", "restore", "/system");
unmount("/system");
show_progress(0.050000, 5);
package_extract_file("boot.img", "/dev/block/bootdevice/by-name/boot");
show_progress(0.200000, 10);
set_progress(1.000000);
