Analyzing demu.red...