new DebugInfo thing: the old debug lines