interface Ctr256Stateimport { type Ctr256State } from "https://deno.land/x/mtkruto@0.2.24/0_deps.ts"; Propertiesstatep: numberivp: number