{
    "core::alloc::global::GlobalAlloc::alloc": {
      "0": [
        "ValidNum",
        "Init"
      ]
    },
    "core::alloc::global::GlobalAlloc::realloc": {
      "0": [
        "Allocated",
        "Layout",
        "ValidNum"
      ]
    },
    "core::alloc::global::GlobalAlloc::dealloc": {
      "0": [
        "Allocated",
        "Layout"
      ]
    },
    "core::alloc::global::GlobalAlloc::alloc_zeroed": {
      "0": [
        "ValidNum"
      ]
    },
    "core::alloc::layout::from_size_align_unchecked": {
      "0": [
        "ValidNum"
      ]
    },
    "core::alloc::layout::for_value_raw": {
        "0": [
          "Size",
          "ValidSlice",
          "ValidTraitObj"
        ]
      },
    "core::alloc::Allocator::grow": {
      "0": [
        "Allocated",
        "Layout",
        "ValidNum"
      ]
    },
    "core::alloc::Allocator::grow_zeroed": {
      "0": [
        "Allocated",
        "Layout",
        "ValidNum"
      ]
    },
    "core::alloc::Allocator::shrink": {
        "0": [
            "Allocated",
            "Layout",
            "ValidNum"
        ]
    },
    "core::alloc::Allocator::deallocate": {
        "0": [
            "Allocated",
            "Layout"
        ]
    },
    "core::alloc::deallocate": {
        "0": [
            "Allocated",
            "Layout"
        ]
    },
    "core::alloc::grow": {
        "0": [
            "Allocated",
            "Layout",
            "ValidNum"
        ]
    },
    "core::alloc::grow_zeroed": {
        "0": [
            "Allocated",
            "Layout",
            "ValidNum"
        ]
    },
    "core::alloc::shrink": {
        "0": [
            "Allocated",
            "Layout",
            "ValidNum"
        ]
    },
    "core::any::downcast_ref_unchecked": {
        "0": [
            "Init"
        ]
    },
    "core::any::downcast_mut_unchecked": {
        "0": [
            "Init"
        ]
    },
    "core::array::iter::new_unchecked": {
        "0": [
            "ValidNum",
            "Init"
        ]
    },
    "core::array::ascii::as_ascii_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::ascii::ascii_char::digit_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::ascii::ascii_char::from_u8_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::cell::try_borrow_unguarded": {
        "0": [
            "Alias"
        ]
    },
    "core::char::from_u32_unchecked": {
        "0": [
            "ValidString"
        ]
    },
    "core::char::convert::from_u32_unchecked": {
        "0": [
            "ValidString"
        ]
    },
    "core::char::methods::from_u32_unchecked": {
        "0": [
            "ValidString"
        ]
    },
    "core::f128::to_int_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::f64::to_int_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::f32::to_int_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::f16::to_int_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::convert::num::FloatToInt::to_int_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::convert::num::to_int_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::ffi::c_str::from_ptr": {
        "0": [
            "ValidCStr",
            "ValidPtr",
            "NonNull",
            "Alias",
            "ValidNum"
        ]
    },
    "core::ffi::c_str::from_bytes_with_nul_unchecked": {
        "0": [
            "ValidCStr"
        ]
    },
    "core::future::async_drop::async_drop_in_place": {
        "0": [
            "ValidPtr",
            "Aligned",
            "NonNull",
            "Allocated"
        ]
    },
    "core::iter::range::forward_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::iter::range::backward_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::iter::range::Step::forward_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::iter::range::Step::backward_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::mem::manually_drop::take": {
        "0": [
            "Ownning"
        ]
    },
    "core::mem::manually_drop::drop": {
        "0": [
            "Allocated"
        ]
    },
    "core::mem::maybe_uninit::assume_init": {
        "0": [
            "Init"
        ]
    },
    "core::mem::maybe_uninit::assume_init_read": {
        "0": [
            "Init",
            "CopyTrait"
        ]
    },
    "core::mem::maybe_uninit::assume_init_drop": {
        "0": [
            "Init",
            "Allocated"
        ]
    },
    "core::mem::maybe_uninit::assume_init_ref": {
        "0": [
            "Init"
        ]
    },
    "core::mem::maybe_uninit::assume_init_mut": {
        "0": [
            "Init"
        ]
    },
    "core::mem::maybe_uninit::array_assume_init": {
        "0": [
            "Init"
        ]
    },
    "core::mem::maybe_uninit::slice_assume_init_ref": {
        "0": [
            "Init"
        ]
    },
    "core::mem::maybe_uninit::slice_assume_init_mut": {
        "0": [
            "Init"
        ]
    },
    "core::mem::size_of_val_raw": {
        "0": [
            "Size",
            "ValidSlice",
            "ValidTraitObj"
        ]
    },
    "core::mem::align_of_val_raw": {
        "0": [
            "Size",
            "ValidSlice",
            "ValidTraitObj"
        ]
    },
    "core::mem::zeroed": {
        "0": [
            "Typed"
        ]
    },
    "core::mem::uninitialized": {
        "0": [
            "ValidNum"
        ]
    },
    "core::mem::transmute_copy": {
        "0": [
            "DoubleAligned",
            "Typed"
        ]
    },
    "core::mem::transmutability::TransmuteFrom::transmute": {
        "0": [
            "DoubleAligned",
            "Typed"
        ]
    },
    "core::num::nonzero::unchecked_add": {
        "0": [
            "ValidNum"
        ]
    },
    "core::num::nonzero::unchecked_mul": {
        "0": [
            "ValidNum"
        ]
    },
    "core::num::nonzero::new_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::num::nonzero::from_mut_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::num::unchecked_sub": {
        "0": [
            "ValidNum"
        ]
    },
    "core::num::unchecked_mul": {
        "0": [
            "ValidNum"
        ]
    },
    "core::num::unchecked_neg": {
        "0": [
            "ValidNum"
        ]
    },
    "core::num::unchecked_shl": {
        "0": [
            "ValidNum"
        ]
    },
    "core::num::unchecked_shr": {
        "0": [
            "ValidNum"
        ]
    },
    "core::num::unchecked_add": {
        "0": [
            "ValidNum"
        ]
    },
    "core::hint::unreachable_unchecked": {
        "0": [
            "Unreachable"
        ]
    },
    "core::hint::assert_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::pin::map_unchecked": {
        "0": [
            "Pinned"
        ]
    },
    "core::pin::map_unchecked_mut": {
        "0": [
            "Pinned"
        ]
    },
    "core::pin::new_unchecked": {
        "0": [
            "Pinned"
        ]
    },
    "core::pin::into_inner_unchecked": {
        "0": [
            "Pinned"
        ]
    },
    "core::pin::get_unchecked_mut": {
        "0": [
            "Pinned"
        ]
    },
    "core::sync::atomic::from_ptr": {
        "0": [
            "ValidPtr",
            "Aligned",
            "Alias",
            "Alive"
        ]
    },
    "core::intrinsics::float_to_int_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::intrinsics::typed_swap": {
        "0": [
            "ValidPtr",
            "NonOverlap"
        ]
    },
    "core::intrinsics::copy": {
        "0": [
            "ValidPtr",
            "Aligned",
            "!Volatile",
            "Alias",
            "CopyTrait"
        ]
    },
    "core::intrinsics::copy::copy": {
        "0": [
            "ValidPtr",
            "Aligned",
            "!Volatile",
            "Alias",
            "CopyTrait"
        ],
        "1": [
            "ValidPtr",
            "Aligned",
            "!Volatile",
            "Alias",
            "CopyTrait"
        ]
    },
    "core::intrinsics::copy_nonoverlapping": {
        "0": [
            "ValidPtr",
            "Aligned",
            "NonOverlap",
            "!Volatile",
            "Alias",
            "CopyTrait"
        ],
        "1": [
            "ValidPtr",
            "Aligned",
            "NonOverlap",
            "!Volatile",
            "Alias",
            "CopyTrait"
        ]
    },
    "core::intrinsics::write_bytes": {
        "0": [
            "ValidPtr",
            "Aligned",
            "Typed"
        ]
    },
    "core::intrinsics::ptr_offset_from": {
        "0": [
            "InBounded",
            "ValidNum",
            "!Size"
        ]
    },
    "core::ptr::alignment::new_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::ptr::non_null::as_uninit_ref": {
        "0": [
            "NonNull | ",
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::non_null::as_uninit_mut": {
        "0": [
            "NonNull | ",
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::non_null::new_unchecked": {
        "0": [
            "NonNull"
        ]
    },
    "core::ptr::non_null::as_ref": {
        "0": [
            "NonNull | ",
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::non_null::as_mut": {
        "0": [
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::non_null::offset": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::non_null::add": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::non_null::byte_offset": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::non_null::byte_add": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::non_null::byte_sub": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::non_null::offset_from": {
        "0": [
            "InBounded",
            "ValidNum",
            "!Size"
        ]
    },
    "core::ptr::non_null::byte_offset_from": {
        "0": [
            "InBounded",
            "ValidNum",
            "!Size"
        ]
    },
    "core::ptr::non_null::sub_ptr": {
        "0": [
            "InBounded",
            "ValidNum",
            "!Size"
        ]
    },
    "core::ptr::non_null::sub": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::non_null::read": {
        "0": [
            "ValidPtr",
            "Aligned",
            "CopyTrait",
            "Typed"
        ]
    },
    "core::ptr::non_null::read_volatile": {
        "0": [
            "ValidPtr",
            "Aligned",
            "CopyTrait",
            "Typed"
        ]
    },
    "core::ptr::non_null::read_unaligned": {
        "0": [
            "ValidPtr",
            "CopyTrait",
            "Typed"
        ]
    },
    "core::ptr::non_null::copy_to": {
        "0": [
            "ValidPtr",
            "Aligned",
            "!Volatile",
            "Alias",
            "CopyTrait"
        ]
    },
    "core::ptr::non_null::copy_to_nonoverlapping": {
        "0": [
            "ValidPtr",
            "Aligned",
            "NonOverlap",
            "!Volatile",
            "CopyTrait",
            "Alias"
        ]
    },
    "core::ptr::non_null::copy_from": {
        "0": [
            "ValidPtr",
            "Aligned",
            "!Volatile",
            "CopyTrait",
            "Alias"
        ]
    },
    "core::ptr::non_null::copy_from_nonoverlapping": {
        "0": [
            "ValidPtr",
            "Aligned",
            "NonOverlap",
            "!Volatile",
            "CopyTrait",
            "Alias"
        ]
    },
    "core::ptr::non_null::drop_in_place": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "core::ptr::non_null::write": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "core::ptr::non_null::write_bytes": {
        "0": [
            "ValidPtr",
            "Aligned",
            "Typed"
        ]
    },
    "core::ptr::non_null::write_volatile": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "core::ptr::non_null::write_unaligned": {
        "0": [
            "ValidPtr"
        ]
    },
    "core::ptr::non_null::replace": {
        "0": [
            "ValidPtr",
            "Aligned",
            "Init"
        ]
    },
    "core::ptr::non_null::swap": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "core::ptr::non_null::as_uninit_slice": {
        "0": [
            "NonNull",
            "ValidPtr",
            "Init",
            "Alive",
            "Alias",
            "ValidNum",
            "Aligned"
        ]
    },
    "core::ptr::non_null::as_uninit_slice_mut": {
        "0": [
            "NonNull",
            "ValidPtr",
            "Init",
            "Alive",
            "Alias",
            "ValidNum",
            "Aligned"
        ]
    },
    "core::ptr::non_null::get_unchecked_mut": {
        "0": [
            "ValidNum",
            "Allocated"
        ]
    },

    "core::ptr::const_ptr::as_ref": {
        "0": [
            "NonNull | ",
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::const_ptr::as_ref_unchecked": {
        "0": [
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::const_ptr::as_uninit_ref": {
        "0": [
            "NonNull | ",
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::const_ptr::offset": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::const_ptr::add": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::const_ptr::sub": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::const_ptr::byte_offset": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::const_ptr::offset_from": {
        "0": [
            "InBounded",
            "ValidNum",
            "!Size"
        ]
    },
    "core::ptr::const_ptr::byte_offset_from": {
        "0": [
            "InBounded",
            "ValidNum",
            "!Size"
        ]
    },
    "core::ptr::const_ptr::non_null::sub_ptr": {
        "0": [
            "InBounded",
            "ValidNum",
            "!Size"
        ]
    },
    "core::ptr::const_ptr::sub_ptr": {
        "0": [
            "InBounded",
            "ValidNum",
            "!Size"
        ]
    },
    "core::ptr::const_ptr::byte_add": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::const_ptr::byte_sub": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::const_ptr::read": {
        "0": [
            "ValidPtr",
            "Aligned",
            "Typed",
            "CopyTrait"
        ]
    },
    "core::ptr::const_ptr::read_volatile": {
        "0": [
            "ValidPtr",
            "Aligned",
            "Typed",
            "CopyTrait"
        ]
    },
    "core::ptr::const_ptr::read_unaligned": {
        "0": [
            "ValidPtr",
            "Typed",
            "CopyTrait"
        ]
    },
    "core::ptr::const_ptr::copy_to": {
        "0": [
            "ValidPtr",
            "Aligned",
            "!Volatile",
            "Alias",
            "CopyTrait"
        ]
    },
    "core::ptr::const_ptr::copy_to_nonoverlapping": {
        "0": [
            "ValidPtr",
            "Aligned",
            "NonOverlap",
            "!Volatile",
            "CopyTrait",
            "Alias"
        ]
    },
    "core::ptr::const_ptr::as_uninit_slice": {
        "0": [
            "NonNull",
            "ValidPtr",
            "Init",
            "Alive",
            "Alias",
            "ValidNum",
            "Aligned"
        ]
    },
    "core::ptr::const_ptr::get_unchecked": {
        "0": [
            "ValidNum",
            "Allocated"
        ]
    },



    "core::ptr::mut_ptr::as_ref": {
        "0": [
            "NonNull | ",
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::mut_ptr::as_ref_unchecked": {
        "0": [
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::mut_ptr::as_uninit_ref": {
        "0": [
            "NonNull | ",
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::mut_ptr::offset": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::mut_ptr::as_mut": {
        "0": [
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::mut_ptr::as_mut_unchecked": {
        "0": [
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::mut_ptr::as_uninit_mut": {
        "0": [
            "NonNull | ",
            "ValidPtr2Ref"
        ]
    },
    "core::ptr::mut_ptr::add": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::mut_ptr::sub": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::mut_ptr::byte_offset": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::mut_ptr::offset_from": {
        "0": [
            "InBounded",
            "ValidNum",
            "!Size"
        ]
    },
    "core::ptr::mut_ptr::byte_offset_from": {
        "0": [
            "InBounded",
            "ValidNum",
            "!Size"
        ]
    },
    "core::ptr::mut_ptr::sub_ptr": {
        "0": [
            "InBounded",
            "ValidNum",
            "!Size"
        ]
    },
    "core::ptr::mut_ptr::byte_add": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::mut_ptr::byte_sub": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::ptr::mut_ptr::read": {
        "0": [
            "ValidPtr",
            "Aligned",
            "CopyTrait",
            "Typed"
        ]
    },
    "core::ptr::mut_ptr::read_volatile": {
        "0": [
            "ValidPtr",
            "Aligned",
            "CopyTrait",
            "Typed"
        ]
    },
    "core::ptr::mut_ptr::read_unaligned": {
        "0": [
            "ValidPtr",
            "CopyTrait",
            "Typed"
        ]
    },
    "core::ptr::mut_ptr::copy_to": {
        "0": [
            "ValidPtr",
            "Aligned",
            "!Volatile",
            "Alias",
            "CopyTrait"
        ]
    },
    "core::ptr::mut_ptr::copy_to_nonoverlapping": {
        "0": [
            "ValidPtr",
            "Aligned",
            "NonOverlap",
            "!Volatile",
            "CopyTrait",
            "Alias"
        ]
    },
    "core::ptr::mut_ptr::copy_from": {
        "0": [
            "ValidPtr",
            "Aligned",
            "!Volatile",
            "CopyTrait",
            "Alias"
        ]
    },
    "core::ptr::mut_ptr::copy_from_nonoverlapping": {
        "0": [
            "ValidPtr",
            "Aligned",
            "NonOverlap",
            "!Volatile",
            "CopyTrait",
            "Alias"
        ]
    },
    "core::ptr::mut_ptr::drop_in_place": {
        "0": [
            "ValidPtr",
            "Aligned",
            "NonNull"
        ]
    },
    "core::ptr::mut_ptr::write": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "core::ptr::mut_ptr::write_bytes": {
        "0": [
            "ValidPtr",
            "Aligned",
            "Typed"
        ]
    },
    "core::ptr::mut_ptr::write_volatile": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "core::ptr::mut_ptr::write_unaligned": {
        "0": [
            "ValidPtr"
        ]
    },
    "core::ptr::mut_ptr::replace": {
        "0": [
            "ValidPtr",
            "Aligned",
            "Init"
        ]
    },
    "core::ptr::mut_ptr::swap": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "core::ptr::mut_ptr::split_at_mut": {
        "0": [
            "ValidNum",
            "Allocated"
        ]
    },
    "core::ptr::mut_ptr::split_at_mut_unchecked": {
        "0": [
            "ValidNum",
            "Allocated"
        ]
    },
    "core::ptr::mut_ptr::as_uninit_slice": {
        "0": [
            "NonNull",
            "ValidPtr",
            "Init",
            "Alive",
            "Alias",
            "ValidNum",
            "Aligned"
        ]
    },
    "core::ptr::mut_ptr::as_uninit_slice_mut": {
        "0": [

            "NonNull",
            "ValidPtr",
            "Init",
            "Alive",
            "Alias",
            "ValidNum",
            "Aligned"
        ]
    },
    "core::ptr::mut_ptr::get_unchecked_mut": {
        "0": [
            "ValidNum",
            "Allocated"
        ]
    },

    "core::ptr::drop_in_place": {
        "0": [
            "ValidPtr",
            "Aligned",
            "NonNull"
        ]
    },
    "core::ptr::replace": {
        "0": [
            "ValidPtr",
            "Aligned",
            "Init"
        ]
    },
    "core::ptr::read": {
        "0": [
            "ValidPtr",
            "Aligned",
            "Typed",
            "CopyTrait"
        ]
    },
    "core::ptr::write": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "core::ptr::swap": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "core::ptr::swap_nonoverlapping": {
        "0": [
            "ValidPtr",
            "Aligned",
            "NonOverlap"
        ]
    },
    "core::ptr::read_unaligned": {
        "0": [
            "ValidPtr",
            "Typed",
            "CopyTrait"
        ]
    },
    "core::ptr::write_unaligned": {
        "0": [
            "ValidPtr"
        ]
    },
    "core::ptr::read_volatile": {
        "0": [
            "ValidPtr",
            "Typed",
            "Aligned",
            "CopyTrait"
        ]
    },
    "core::ptr::write_volatile": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "core::ptr::offset": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "core::clone::clone_to_uninit": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },

    "core::result::unwrap_unchecked": {
        "0": [
            "Unwrap"
        ]
    },
    "core::option::unwrap_unchecked": {
        "0": [
            "Unwrap"
        ]
    },
    "core::result::unwrap_err_unchecked": {
        "0": [
            "Unwrap"
        ]
    },

    "core::slice::get_unchecked": {
        "0": [
            "InBounded"
        ]
    },
    "core::slice::index::SliceIndex::get_unchecked": {
        "0": [
            "InBounded",
            "Allocated"
        ]
    },
    "core::slice::index::SliceIndex::get_unchecked_mut": {
        "0": [
            "InBounded",
            "Allocated"
        ]
    },
    "core::slice::get_unchecked_mut": {
        "0": [
            "InBounded"
        ]
    },
    "core::slice::swap_unchecked": {
        "0": [
            "InBounded"
        ]
    },
    "core::slice::as_chunks_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::slice::as_chunks_unchecked_mut": {
        "0": [
            "ValidNum"
        ]
    },
    "core::slice::split_at_unchecked": {
        "0": [
            "InBounded"
        ]
    },
    "core::slice::split_at_mut_unchecked": {
        "0": [
            "InBounded"
        ]
    },

    "core::slice::align_to": {
        "0": [
            "Aligned",
            "Typed"
        ]
    },
    "core::slice::align_to_mut": {
        "0": [
            "Aligned",
            "Typed"
        ]
    },
    "core::slice::ascii::as_ascii_unchecked": {
        "0": [
            "ValidNum"
        ]
    },
    "core::slice::raw::from_raw_parts": {
        "0":[
            "NonNull",
            "ValidPtr",
            "Init",
            "Alive",
            "Alias",
            "Aligned",
            "ValidNum"
        ]
    },
    "core::slice::raw::from_raw_parts_mut": {
        "0":[
            "NonNull",
            "ValidPtr",
            "Init",
            "Alive",
            "Alias",
            "Aligned",
            "ValidNum"
        ]
    },
    "core::slice::index::get_unchecked": {
        "0": [
            "Allocated",
            "InBounded"
        ]
    },
    "core::slice::index::get_unchecked_mut": {
        "0": [
            "Allocated",
            "InBounded"
        ]
    },
    "core::slice::raw::from_ptr_range": {
        "0": [
            "NonNull",
            "ValidPtr",
            "Init",
            "Alive",
            "Alias",
            "ValidNum",
            "Aligned",
            "InBounded",
            "!Size"
        ]
    },
    "core::slice::raw::from_mut_ptr_range": {
        "0": [
            "NonNull",
            "ValidPtr",
            "Init",
            "Alive",
            "Alias",
            "ValidNum",
            "Aligned"
        ]
    },
    "core::str::get_unchecked": {
        "0": [
            "ValidString",
            "InBounded"
        ]
    },
    "core::str::get_unchecked_mut": {
        "0": [
            "ValidString",
            "InBounded"
        ]
    },
    "core::str::slice_unchecked": {
        "0": [
            "ValidString",
            "InBounded"
        ]
    },
    "core::str::slice_mut_unchecked": {
        "0": [
            "ValidString",
            "InBounded"
        ]
    },
    "core::str::as_bytes_mut": {
        "0": [
            "ValidString"
        ]
    },
    "core::str::converts::from_utf8_unchecked": {
        "0": [
            "ValidString"
        ]
    },
    "core::str::converts::from_utf8_unchecked_mut": {
        "0": [
            "ValidString"
        ]
    },
    "core::str::converts::from_raw_parts": {
        "0": [
            "NonNull",
            "ValidPtr",
            "Init",
            "Alive",
            "Alias",
            "ValidNum",
            "Aligned"
        ]
    },
    "core::str::converts::from_raw_parts_mut": {
        "0": [
            "NonNull",
            "ValidPtr",
            "Init",
            "Alive",
            "Alias",
            "ValidNum",
            "Aligned"
        ]
    },
    "core::str::traits::get_unchecked": {
        "0": [
            "ValidString",
            "InBounded"
        ]
    },
    "core::str::traits::get_unchecked_mut": {
        "0": [
            "ValidString",
            "InBounded"
        ]
    },
    "core::io::borrowed_buf::set_init": {
        "0": [
            "Init"
        ]
    },
    "core::io::borrowed_buf::advance_unchecked": {
        "0": [
            "Init"
        ]
    },
    "core::io::borrowed_buf::as_mut": {
        "0": [
            "Init"
        ]
    },
    "core::task::wake::from_raw": {
        "0": [
            "Allocated",
            "Allocated"
        ]
    },

    "alloc::vec::from_raw_parts": {
        "0": [
            "Allocated",
            "Aligned",
            "InBounded",
            "ValidNum",
            "Layout"
        ]
    },
    "alloc::vec::from_parts": {
        "0": [
            "Allocated",
            "Aligned",
            "InBounded",
            "ValidNum",
            "Layout"
        ]
    },
    "alloc::vec::from_raw_parts_in": {
        "0": [
            "Allocated",
            "Aligned",
            "InBounded",
            "ValidNum",
            "Layout"
        ]
    },
    "alloc::vec::from_parts_in": {
        "0": [
            "Allocated",
            "Aligned",
            "InBounded",
            "ValidNum",
            "Layout"
        ]
    },
    "alloc::vec::set_len": {
        "0": [
            "InBounded",
            "ValidNum"
        ]
    },
    "alloc::alloc::alloc": {
        "0": [
            "ValidNum",
            "Init"
        ]
    },
    "alloc::alloc::dealloc": {
        "0": [
            "Allocated",
            "Layout"
        ]
    },
    "alloc::alloc::realloc": {
        "0": [
            "Allocated",
            "Layout",
            "ValidNum"
        ]
    },
    "alloc::alloc::alloc_zeroed": {
        "0": [
            "ValidNum"
        ]
    },
    "alloc::alloc::deallocate": {
        "0": [
            "Allocated",
            "Layout"
        ]
    },
    "alloc::alloc::grow": {
        "0": [
            "Allocated",
            "Layout",
            "ValidNum"
        ]
    },
    "alloc::alloc::grow_zeroed": {
        "0": [
            "Allocated",
            "Layout",
            "ValidNum"
        ]
    },
    "alloc::alloc::shrink": {
        "0": [
            "Allocated",
            "Layout",
            "ValidNum"
        ]
    },
    "alloc::boxed::assume_init": {
        "0": [
            "Init"
        ]
    },
    "alloc::boxed::from_raw": {
        "0": [
            "Allocated",
            "Ownning"
        ]
    },
    "alloc::boxed::from_non_null": {
        "0": [
            "Allocated",
            "Ownning"
        ]
    },
    "alloc::boxed::from_raw_in": {
        "0": [
            "Allocated",
            "Ownning"
        ]
    },
    "alloc::boxed::from_non_null_in": {
        "0": [
            "Allocated",
            "Ownning"
        ]
    },
    "alloc::boxed::downcast_unchecked": {
        "0": [
            "Typed"
        ]
    },
    "alloc::collections::btree::map::insert_after_unchecked": {
        "0": [
            "Function_sp"
        ]
    },
    "alloc::collections::btree::map::insert_before_unchecked": {
        "0": [
            "Function_sp"
        ]
    },
    "alloc::collections::btree::set::insert_after_unchecked": {
        "0": [
            "Function_sp"
        ]
    },
    "alloc::collections::btree::set::insert_before_unchecked": {
        "0": [
            "Function_sp"
        ]
    },
    "alloc::ffi::c_str::from_vec_unchecked": {
        "0": [
            "ValidString"
        ]
    },
    "alloc::ffi::c_str::from_raw": {
        "0": [
            "Allocated",
            "Ownning"
        ]
    },
    "alloc::ffi::c_str::from_vec_with_nul_unchecked": {
        "0": [
            "ValidCStr"
        ]
    },
    "alloc::rc::assume_init": {
        "0": [
            "Init"
        ]
    },
    "alloc::rc::from_raw": {
        "0": [
            "Allocated",
            "Aligned",
            "Ownning"
        ]
    },
    "alloc::rc::increment_strong_count": {
        "0": [
            "Allocated",
            "Allocated"
        ]
    },
    "alloc::rc::decrement_strong_count": {
        "0": [
            "Allocated",
            "Allocated"
        ]
    },
    "alloc::rc::from_raw_in": {
        "0": [
            "Allocated",
            "Aligned",
            "Ownning"
        ]
    },
    "alloc::rc::increment_strong_count_in": {
        "0": [
            "Allocated",
            "Allocated"
        ]
    },
    "alloc::rc::decrement_strong_count_in": {
        "0": [
            "Allocated",
            "Allocated"
        ]
    },
    "alloc::rc::downcast_unchecked": {
        "0": [
            "Typed"
        ]
    },
    "alloc::rc::get_mut_unchecked": {
        "0": [
            "Typed",
            "Alias"
        ]
    },
    "alloc::collections::btree::map::with_mutable_key": {
        "0": [
            "Function_sp"
        ]
    },
    "alloc::collections::btree::set::upper_bound_mut": {
        "0": [
            "Function_sp"
        ]
    },
    "alloc::str::from_boxed_utf8_unchecked": {
        "0": [
            "ValidString"
        ]
    },
    "alloc::string::from_raw_parts": {
        "0": [
            "Allocated",
            "Aligned",
            "ValidNum",
            "ValidString"
        ]
    },
    "alloc::string::from_utf8_unchecked": {
        "0": [
            "ValidString"
        ]
    },
    "alloc::string::as_mut_vec": {
        "0": [
            "ValidString"
        ]
    },
    "alloc::sync::get_mut_unchecked": {
        "0": [
            "Typed",
            "Alias"
        ]
    },
    "alloc::sync::from_raw": {
        "0": [
            "Allocated",
            "Aligned"
        ]
    },
    "alloc::sync::increment_strong_count": {
        "0": [
            "Allocated",
            "Allocated"
        ]
    },
    "alloc::sync::decrement_strong_count": {
        "0": [
            "Allocated",
            "Allocated"
        ]
    },
    "alloc::sync::from_raw_in": {
        "0": [
            "Allocated",
            "Aligned",
            "Ownning"
        ]
    },
    "alloc::sync::increment_strong_count_in": {
        "0": [
            "Allocated",
            "Allocated"
        ]
    },
    "alloc::sync::decrement_strong_count_in": {
        "0": [
            "Allocated",
            "Allocated"
        ]
    },
    "alloc::sync::downcast_unchecked": {
        "0": [
            "Typed"
        ]
    },
    "std::thread::from_raw": {
        "0": [
            "Ownning",
            "Allocated"
        ]
    },
    "std::collections::hash::map::get_many_unchecked_mut": {
        "0": [
            "NonOverlap"
        ]
    },
    "std::env::set_var": {
        "0": [
            "System_sp"
        ]
    },
    "std::env::remove_var": {
        "0": [
            "System_sp"
        ]
    },
    "std::ffi::os_str::from_encoded_bytes_unchecked": {
        "0": [
            "ValidString"
        ]
    },
    "std::ffi::os_str::clone_to_uninit": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "std::os::unix::net::datagram::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::os::unix::net::listener::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::os::unix::net::stream::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::os::unix::process::CommandExt::before_exec": {
        "0": [
            "System_sp"
        ]
    },
    "std::os::unix::process::pre_exec": {
        "0": [
            "System_sp"
        ]
    },
    "std::os::unix::process::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::os::linux::process::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::os::fd::raw::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::os::fd::owned::borrow_raw": {
        "0": [
            "Opened",
            "ValidNum"
        ]
    },
    "std::os::fd::owned::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::os::fd::net::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::os::fd::raw::FromRawFd::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::path::clone_to_uninit": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "std::sys::pal::unix::fd::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::sys::pal::unix::fs::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::sys::pal::unix::linux::pidfd::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::sys::pal::unix::net::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::sys::pal::unix::pipe::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::sys::pal::unix::process::process_common::pre_exec": {
        "0": [
            "System_sp"
        ]
    },
    "std::sys::anonymous_pipe::unix::from_raw_fd": {
        "0": [
            "Opened"
        ]
    },
    "std::sys::os_str::bytes::clone_to_uninit": {
        "0": [
            "ValidPtr",
            "Aligned"
        ]
    },
    "std::alloc::deallocate": {
        "0": [
            "Allocated",
            "Layout"
        ]
    },
    "std::alloc::grow": {
        "0": [
            "Allocated",
            "Layout",
            "ValidNum"
        ]
    },
    "std::alloc::grow_zeroed": {
        "0": [
            "Allocated",
            "Layout",
            "ValidNum"
        ]
    },
    "std::alloc::shrink": {
        "0": [
            "Allocated",
            "Layout",
            "ValidNum"
        ]
    },
    "std::raw_attribute": {
        "0": [
            "Alive",
            "ValidNum"
        ]
    },
    "std::from_raw_handle": {
        "0": [
            "Opened"
        ]
    },
    "std::thread::spawn_unchecked": {
        "0": [
            "Alive",
            "Init",
            "Function_sp"
        ]
    },
    "core::intrinsics::const_allocate": {
        "0": [
            "ValidNum"
        ]
    },
    "core::intrinsics::assume": {
        "0": [
            "ValidNum"
        ]
    },
    "core::intrinsics::drop_in_place": {
        "0": [
            "ValidPtr",
            "Aligned",
            "NonNull"
        ]
    },
    "core::intrinsics::const_deallocate": {
        "0": [
            "ValidNum"
        ]
    },
    "core::intrinsics::vtable_size": {
        "0": [
            "ValidPtr"
        ]
    },
    "core::intrinsics::vtable_align": {
        "0": [
            "ValidPtr"
        ]
    },
    "core::intrinsics::pref_align_of": {
        "0": [
            ""
        ]
    },
    "core::intrinsics::size_of_val": {
        "0": [
            "Size",
            "ValidSlice",
            "ValidTraitObj"
        ]
    },
    "core::intrinsics::min_align_of_val": {
        "0": [
            "Size",
            "ValidSlice",
            "ValidTraitObj"
        ]
    },
    "core::ffi::va_list::arg": {
        "0": [
            ""
        ]
    },
    "core::ffi::va_list::with_copy": {
        "0": [
            ""
        ]
    },
    "core::task::wake::new": {
        "0": [
            "System_sp"
        ]
    },
    "alloc::collections::btree::set::with_mutable_key": {
        "0": [
            "Function_sp"
        ]
    },
    "alloc::sync::assume_init": {
        "0": [
            "Init"
        ]
    },
    "std::sys::os_str::bytes::from_encoded_bytes_unchecked": {
        "0": [
            "ValidString"
        ]
    }
}  