regcheck_set_results { \
R09 7ffffffe \
R10 80000001 \
R12 ffffffff \
R13 80000001 \
}