For fastcc on x86, let ECX be used as a return register after EAX and EDX