Artículo.
construcciones que asignan valores de forma no determinista o aleatoria. Además, permitimos a los usuarios registrar información adicional para mejorar la legibilidad de un testigo. Para reconocer estas declaraciones más adelante en la pista de error, usamos un formato especial para las cadenas