El nombre debe ser único en el contexto del programa.