regcheck_set_results { \
R08 a5000000 \
R09 00000020 \
R11 a5000000 \
R12 0000a500 \
R13 00000001 \
R14 a5000000 \
}