regcheck_set_results { pc bfc00010 lastinstr ac850000 }