-malign-double removed.