Having worked for a few of those lazy vendors, the aot usually just ends up being bitcode which is fully jitted later.