let set_value env value = function
        | GlobalVar(uid, ind) -> env.heap.(ind) <- (uid, value); value
        | LocalVar(uid, depth, ind) -> env.stackframes.(depth).(ind) <- value; value