 a <var>x</var>.
</p>
<p>Si la ejecución de <code>antid</code> resulta exitosa, el segundo elemento de la lista retornada es cero. En caso contrario, el segundo elemento es distinto de cero y el primero puede ser nulo o no. Si <code>antid</code> no es capaz de hacer ningún progreso, el primer elemento es nulo y el segundo no nulo.
</p>
<p>Es necesario ejecutar <code>load (&quot;antid&quot;)</code> para cargar esta función. El paquete <code>antid</code> define también las funciones <code>nonzeroandfreeof