%{
#include "hspincl.h"
%}
%{{
module U_list where
import Ubiq --  debugging consistency check
import UgenUtil
%}}
type list;
	lcons	: < lhd	: VOID_STAR;
		    ltl : list; >;
	lnil	: <>;
end;