Everything compiles again. Verification of correct computations still required.