wordsize 64 mips64el r4000 r4100 r4300 r4400 r4600 r4560 r5000 r8000 r10000 r4k -> r4000 r5k -> r5000 r8k -> r8000 r10k -> r10000