let dce f = if !debug then (Cilmsg.debug "DCE: starting dead code elimination\n"); visitCilFile (new deadCodeElimClass) f