assert(getprop("ro.product.device") == "A0001" || getprop("ro.build.product") == "A0001" || abort("This package is for device: A0001; this device is " + getprop("ro.product.device") + "."););