module CBOR_DIAG::Tagged1