prog: tc10_rec_lock