This describes the system debug file format