Serían identificadores válidos: