MACH_DSUNKNOWN
mips_machtype = MACH_DSUNKNOWN;
if (mips_machtype == MACH_DSUNKNOWN)
[MACH_DSUNKNOWN] "unknown DECstation",