Correct state of the machine debug messages for pc