amming in HCPL.</span></i>

<i><span style='color:#898887;'>   In this example it is shown how to write programs in HCPL. This does not</span></i>
<i><span style='color:#898887;'>   cover the whole language. In particular, macros are not covered.</span></i>

<i><span style='color:#898887;'>   Proving theorems is covered in succeeding examples.</span></i>

<i><span style='color:#898887;'> */</span></i>

<i><span style='color:#898887;'>/* The above</span></i>
<i><span style='color:#898887;'>   and the present