static void CVMCoder_ReturnInsn(ILCoder *coder, ILEngineType engineType,
							    ILType *returnType)
{

	ILJITCoder *jitCoder = _ILCoderToILJITCoder(coder);
	
	if(engineType == ILEngineType_Invalid)
	{
	       jit_insn_return(jitCoder->function, 0);
	}
        else
        {
		jit_insn_return(jitCoder->function,
					jitCoder->jitStack[jitCoder->stackTop]);
		JITC_ADJUST(jitCoder, -1);
	}
}