regcheck_set_results { R10 00000000 \
                       R11 00000000 \
                       R12 00000001 }