module CBOR_DIAG::Infin0