Registrado en la tabla de símbolos