I'm probably missing something, but this code looks like it's exactly the same as the `x86` code; is it required to be duplicated like this?