\documentclass[fleqn,leqno]{article}
\usepackage{hypertlabook}
\pdftitle{ASCII Text}
\fixverbatim
\begin{popup}
\begin{verbatim*}
(*********************************************
--algorithm ClockSpec {
  variable c = 0 ;
  
  process (Tick \in 0..(N-1)) 
    { t: while (TRUE) 
          { await c = self ;
            c := (c + 1) % N
          }
    }
}
 *********************************************)
\end{verbatim*}
\end{popup}
\makeasciipopup