mkAllInsts now handles x86 and is documented