regcheck_set_results { R02 00000001 R08 00000001 PC bfc00180 NextEPC bfc00038 }