function destroyCtr256Stateimport { destroyCtr256State } from "https://deno.land/x/mtkruto@0.2.24/0_deps.ts"; destroyCtr256State(state: Ctr256State)Parametersstate: Ctr256State