Formatting a system dump