regcheck_set_results { R10 00000001 \
R11 00000001 \
R12 00000000 }