Cholesky example now works with the updated runtime and translator.