module CBOR_DIAG::Spec1