MEM_writeLE64
MEM_writeLE64(memPtr, (U64)val);
MEM_STATIC void MEM_writeLE64(void* memPtr, U64 val64);
case 3 : MEM_writeLE64(op+pos, (U64)(pledgedSrcSize)); pos+=8; break;