Hello, this fixes a few things after Paul's improvements for TCG debugging: - change TCGv_i64 field name to something different from TCGv_i32 - fix things in tcg that the above change made visible. I am currently compiling all targets to see if this reveals some other errors. Laurent