すなわち、たとえばcodice_1といったコードは許容されない。