1. 2
  1.  

  2. 1

    Some ISAs are complex beyond tractable.

    x86/amd64 can’t be reasoned with. This is why, even if slowly, it is on its way out.