getprop("ro.product.device") == "a3" || abort("E3004: This package is for \"a3\" devices; this is a \"" + getprop("ro.product.device") + "\".");
ui_print("Target: Android/a3/a3:7.1.2/1.1.7/20220811:user/release-keys");
show_progress(0.750000, 0);
ui_print("Patching system image unconditionally...");
block_image_update("/dev/block/by-name/system", package_extract_file("system.transfer.list"), "system.new.dat", "system.patch.dat") ||
  abort("E1001: Failed to update system image.");
show_progress(0.050000, 5);
package_extract_file("boot.img", "/dev/block/by-name/boot");
show_progress(0.200000, 10);
ui_print("Writing bootloader...");
package_extract_bootloader("bootloader.img", "/dev/block/by-name/bootloader");
set_progress(1.000000);
