interface Ctr256Stateimport { type Ctr256State } from "https://deno.land/x/tgcrypto@0.4.1/mod.ts"; Propertiesstatep: numberivp: number