The name of an atom cannot be changed after creation, and no two atoms can have the same name.
アトム名は生成後に変更することはできないし、二つのアトムが同じアトム名となることもない。