It starts like this, and ends up like x86.