((eax ebx ecx edi edx esi rx)
 (ebx eax ecx edi edx esi rx)
 (ecx eax ebx edi edx esi rx)
 (edi eax ebx ecx edx esi rx)
 (edx eax ebx ecx edi esi rx)
 (esi eax ebx ecx edi edx rx)
 (rx eax ebx ecx edi edx esi))
#f
