Restore original terminal on snapshot exit. EBP now prints out as an unsigned number.