accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode;
accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle