例えば、「codice_5」という型は「codice_6」という型とは異なるものとして区別される。