add test

tests/target/issue-6333.rs

@@ -0,0 +1,22 @@
+pub use crate::r#_StructUtil_Compile::CanonCryptoItem;
+pub use crate::r#_StructUtil_Compile::MessageID;
+pub use crate::r#_Wrappers_Compile::Outcome;
+pub use crate::software::amazon::crypt::dbencryptionsdk::stct::internaldafny::types::Action;
+pub use crate::software::amazon::crypt::mat::internaldafny::types::AlgorithmSuiteInfo;
+pub use crate::software::amazon::crypt::mat::internaldafny::types::EncryptedDataKey;
+pub use crate::software::amazon::crypt::mat::internaldafny::types::EncryptionMaterials;
+pub use crate::software::amazon::crypt::primitives::internaldafny::types::HMacInput;
+pub use crate::software::amazon::crypt::primitives::internaldafny::types::IAwsPrimClient;
+pub use dafny_runtime::_System::nat;
+pub use dafny_runtime::int;
+pub use dafny_runtime::itertools::Itertools;
+pub use dafny_runtime::rd;
+pub use dafny_runtime::string_utf16_of;
+pub use dafny_runtime::truncate;
+pub use dafny_runtime::DafnyCharUTF16;
+pub use dafny_runtime::DafnyType;
+pub use dafny_runtime::DafnyTypeEq;
+pub use dafny_runtime::MapBuilder;
+pub use dafny_runtime::Object;
+pub use dafny_runtime::Sequence;
+pub use std::rc::Rc;