1regcheck_set_results { R10 00000000 \
2                       R11 00000000 \
3                       R12 00000001 }
4