SavedState: {
    buffer: Uint8Array;
    bufferLength: number;
    ctr: Uint32Array;
    flag: Uint32Array;
    initialState: Uint32Array;
    lastNode: boolean;
    paddedKey: Uint8Array | undefined;
    state: Uint32Array;
}