← Froid: Optimization of Imperative Programs in a …