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