module CBOR_DIAG::Spec0