#[derive(Debug)] pub struct RawState { pub counter: i32, }