et_constants lib_path target</code> reads the list of contants that should be
    avoided for target <code class="code">target</code>. These constants are read from a file <code class="code">lib_path/{target}_constants</code>.
    If this file does not exists, the empty set is returned.<br>
</div>
</body></html>