%
    \begin{figure}[tp]
    \begin{prog}
        {\cbf process} server(my\_id)\+\\[1.0ex]

            \# Read in handle of private \ts \\[1.0ex]


        {\cbf end process}
        
    \end{prog}
    \caption{\label{fig:nonrepserver} Recoverable Server}
    \end{figure}