Fixed up exetrace.cc to deal with microcode, and to made floating point register...