DEBUG_ProcessDBGFile: use a stack variable for the extra_info.