Restore value used during debugging