Günther Brecht: deathcode (de-)compiler?