auto: librustc: Lots of de-muting. rs=demuting