Un tel argument est donné aux méthodes de démons dont le corps doit connaître la valeur candidate pour le descripteur à valeur pointeur sur un domaine de valeur.