Document the new argument handling in rec_lock() and rec_restore_args().