But even the exposed machine ISA for x86 is way different these days than the underlying hardware.