prog: tc04_free_lock