[bits 32]
xor eax, [ebp+4*ecx   ]
xor ebx, [ebp+4*ecx+ 4]
xor esi, [ebp+4*ecx+ 8]
xor edi, [ebp+4*ecx+12]
