((eax ebx ecx edi edx esi x y)
 (ebx eax ecx edi edx esi x y)
 (ecx eax ebx edi edx esi x y)
 (edi eax ebx ecx edx esi)
 (edx eax ebx ecx edi esi x y)
 (esi eax ebx ecx edi edx x y)
 (x eax ebx ecx edx esi y)
 (y eax ebx ecx edx esi x))
#f