regcheck_set_results { R10 00000000 R11 00000001 R12 00000001 }