pub(super) const STR_PREFIXES: &[&str] = &["str:", "``", "''"];
pub(super) const ADDR_PREFIX: &str = "address:";
pub(super) const SC_ADDR_PREFIX: &str = "sc:";
pub(super) const FILE_PREFIX: &str = "file:";
pub(super) const KECCAK256_PREFIX: &str = "keccak256:";
pub(super) const BECH32_PREFIX: &str = "bech32:";
pub(super) const U64_PREFIX: &str = "u64:";
pub(super) const U32_PREFIX: &str = "u32:";
pub(super) const U16_PREFIX: &str = "u16:";
pub(super) const U8_PREFIX: &str = "u8:";
pub(super) const I64_PREFIX: &str = "i64:";
pub(super) const I32_PREFIX: &str = "i32:";
pub(super) const I16_PREFIX: &str = "i16:";
pub(super) const I8_PREFIX: &str = "i8:";
pub(super) const BIGUINT_PREFIX: &str = "biguint:";
pub(super) const NESTED_PREFIX: &str = "nested:";