Oh god yeah, there are going to be a lot of variables that need fixing up (especially ones that use plural and such). interpreting_linear_equations is marked as needing major (by-hand) work in order to get it ready for translation.