record_registers
rq = record_registers(A, ref[0], ref[1], sema);
rq = record_registers(A, result[0], result[1], sema);