function __getCtr256StateValuesimport { __getCtr256StateValues } from "https://deno.land/x/tgcrypto@0.4.1/mod.ts"; __getCtr256StateValues(state: Ctr256State): __Ctr256StateValuesParametersstate: Ctr256StateReturns__Ctr256StateValues