TValue*rb=((((((int)(((i)>>(((0+6)+8)+9))&((~((~(Instruction)0)<<9))<<0)))))&(1<<(9-1)))?k+((int)((((int)(((i)>>(((0+6)+8)+9))&((~((~(Instruction)0)<<9))<<0)))))&~(1<<(9-1))):base+(((int)(((i)>>(((0+6)+8)+9))&((~((~(Instruction)0)<<9))<<0)))));
TValue*rc=((((((int)(((i)>>((0+6)+8))&((~((~(Instruction)0)<<9))<<0)))))&(1<<(9-1)))?k+((int)((((int)(((i)>>((0+6)+8))&((~((~(Instruction)0)<<9))<<0)))))&~(1<<(9-1))):base+(((int)(((i)>>((0+6)+8))&((~((~(Instruction)0)<<9))<<0)))));
{L->savedpc=pc;{if((((rb)->tt)==((rc)->tt)&&luaV_equalval(L,rb,rc))==(((int)(((i)>>(0+6))&((~((~(Instruction)0)<<8))<<0))))) {(pc)+=(((((int)(((*pc)>>((0+6)+8))&((~((~(Instruction)0)<<(9+9)))<<0))))-(((1<<(9+9))-1)>>1)));};;};base=L->base;}

но хаскель трудночитаемый и сложный

C/invoke Даже удобнее чем libffi. Няшная штука.