pub fn state_with<F>(state: &mut [u32; 12], f: F) where
    F: FnOnce(&mut [u8; 48]),