    <span style="color:navy"><b>PROCEDURE</b></span> deinitialize;
        <span style="color:navy"><b>PROCEDURE</b></span> beginhighrestimer;
        <span style="color:navy"><b>PROCEDURE</b></span> endhighrestimer;
        <span style="color:navy"><b>PROPERTY</b></span> highrestimer: boolean <span style="color:navy"><b>READ</b></span> gethighrestimer;
        
        <span style="color:navy"><b>FUNCTION</b></span> procid: procidty;
        <span style="color:navy"><b>FUNCTION</b></span> getserial (): car