%% READ_LaTeX_Counter : string -> int
%% (\readLaTeXCounter str) -> i
%% where i = \the\c@str
\@lisp@env@add@global\readLaTeXCounter{\@tlabel@func{\@lisp@func@check@args{1}{\@tex@read@latex@counter}}}
%TODO: error handling
\def\@tex@read@latex@counter#1#2#3{%
  \expandafter\expandafter\expandafter\gdef
  \expandafter\expandafter\expandafter#1%
  \expandafter\expandafter\expandafter{%
  \expandafter\expandafter\expandafter\@tlabel@int
  \expandafter\expandafter\expandafter{%
   \expandafter\the\csname c@#3\endcsname}}}

\@lisp@env@add@global\message{\@tlabel@func{\@lisp@func@check@args{1}{\@tex@lisp@message}}}
%TODO: error handling
\def\@tex@lisp@message#1\@tlabel@string#2{%
	\gdef#1{\@tlabel@nil{}}\message{#2}}