added lots of debugging code trying to figure out why the new fields I added to class APInt are getting wiped out