Editing: ignore_ppc