(component
  (type (;0;)
    (component
      (type (;0;)
        (instance
          (type (;0;) (record (field "f" u8)))
          (export (;1;) "the-type" (type (eq 0)))
        )
      )
      (export (;0;) "foo:foo/b" (instance (type 0)))
    )
  )
  (export (;1;) "b" (type 0))
  (type (;2;)
    (component
      (type (;0;)
        (instance
          (type (;0;) (record (field "f" u8)))
          (export (;1;) "the-type" (type (eq 0)))
        )
      )
      (import "foo:foo/b" (instance (;0;) (type 0)))
      (alias export 0 "the-type" (type (;1;)))
      (type (;2;)
        (instance
          (alias outer 1 1 (type (;0;)))
          (export (;1;) "the-type" (type (eq 0)))
        )
      )
      (export (;1;) "foo:foo/a" (instance (type 2)))
    )
  )
  (export (;3;) "a" (type 2))
  (type (;4;)
    (component
      (type (;0;)
        (instance
          (type (;0;) (record (field "f" u8)))
          (export (;1;) "the-type" (type (eq 0)))
        )
      )
      (import "foo:foo/b" (instance (;0;) (type 0)))
      (alias export 0 "the-type" (type (;1;)))
      (type (;2;)
        (instance
          (alias outer 1 1 (type (;0;)))
          (export (;1;) "the-type" (type (eq 0)))
        )
      )
      (export (;1;) "foo:foo/b2" (instance (type 2)))
    )
  )
  (export (;5;) "b2" (type 4))
  (type (;6;)
    (component
      (type (;0;)
        (instance
          (type (;0;) (record (field "f" u8)))
          (export (;1;) "the-type" (type (eq 0)))
        )
      )
      (import "foo:foo/b" (instance (;0;) (type 0)))
      (alias export 0 "the-type" (type (;1;)))
      (type (;2;)
        (instance
          (alias outer 1 1 (type (;0;)))
          (export (;1;) "the-type" (type (eq 0)))
        )
      )
      (export (;1;) "foo:foo/a2" (instance (type 2)))
    )
  )
  (export (;7;) "a2" (type 6))
  (@custom "package-docs" "\00{}")
  (@producers
    (processed-by "wit-component" "$CARGO_PKG_VERSION")
  )
)