sync up (somewhat) with ssa interpreter