unsigned __int64 __shiftleft128( unsigned __int64 LowPart, unsigned __int64 HighPart, unsigned char Shift );
    unsigned __int64 __shiftright128( unsigned __int64 LowPart, unsigned __int64 HighPart, unsigned char Shift );