PDP10: Correctly format the various data displayed in the debug output