AWS’s Hydro team is looking to put the compiler to work as a check on…