\newcommand{\martin}[1]{\textcolor{blue}{\textit{Martin: #1}}}
\newcommand{\anneke}[1]{\textcolor{red}{\textit{Anneke: #1}}}

\newcommand{\etc}{\textit{etc}}
\newcommand{\ie}{\textit{i.e.}}
\newcommand{\da}{\textsc{LTPDA}}
\newcommand{\code}[1]{\texttt{#1}}
\newcommand{\tbd}[0]{\textcolor{red}{TBD}}
\newcommand{\ltpda}[0]{\textsc{LTPDA}}

\newcommand{\q}[1]{\lq #1'}

\newenvironment{Ventry}[1]%
{\begin{list}{}%
    {\renewcommand{\makelabel}[1]{\textbf{##1:}\hfil}%
     \settowidth{\labelwidth}{\textbf{#1:}}%
     \setlength{\leftmargin}{\labelwidth+\labelsep}%
    }%
}
{\end{list}}

\newenvironment{flist}[1]%
{\begin{list}{}%
    {\renewcommand{\makelabel}[1]{\texttt{##1:}\hfil}%
     \settowidth{\labelwidth}{\texttt{#1:}}%
     \setlength{\leftmargin}{\labelwidth+\labelsep}%
    }%
}
{\end{list}}

% UTP
\newcounter{utpscount}
\setcounter{utpscount}{1}
\newcommand{\utps}[2]{\noindent\textbf{\\UTP\_S\hspace{-0.13cm}\padzeroes[3]\decimal{utpscount}}\hspace{0.3cm}\stepcounter{utpscount}%
\parbox[t]{12cm}{#1}\\\medskip\parbox[t]{12cm}{#2}}

% Algorithmic UTP
\newcounter{utpacount}
\setcounter{utpacount}{1}
\newcommand{\utpa}[1]{\noindent\textbf{\\UTP\_A\hspace{-0.13cm}\padzeroes[3]\decimal{utpacount}}\hspace{0.3cm}\stepcounter{utpacount}%
\parbox[t]{12cm}{#1}\\\medskip}


\newcounter{utpcount}%
\setcounter{utpcount}{1}%
\newcommand{\utpfcn}{default\_name}

\newcommand{\utp}[5]{\noindent\vspace{0.3cm}%
\begin{tabularx}{\textwidth}{@{}|c|X|p{#1cm}@{}|@{}}%
        \multicolumn{3}{@{}p{\textwidth}@{}}{\textbf{\utpfcn\_\padzeroes[3]\decimal{utpcount}} \stepcounter{utpcount}} \\
        \hline
        \textbf{S} & \textbf{Call}  \newline #2 &  #3 \\
        \hline
        \textbf{A} & \textbf{Check} \newline #4 &  #5 \\
        \hline
\end{tabularx}\vspace{0.3cm}}




\newcounter{stpcount}
\setcounter{stpcount}{1}
\newcommand{\stp}[1]{\noindent\\\vspace{0.3cm}%
\begin{tabular}{|l|p{12cm}|}%
	\hline
	\textbf{ST\_\hspace{-0.13cm}\padzeroes[3]\decimal{stpcount}}\stepcounter{stpcount} & #1 \\ \hline
\end{tabular}\vspace{0.3cm}}