MEM_writeBE64
MEM_writeBE64(memPtr, (U64)val);
MEM_STATIC void MEM_writeBE64(void* memPtr, U64 val64);