# define ltokenList_isUndefined(s) ((s) == ltokenList_undefined)
extern int ltokenList_size (/*@sef@*/ ltokenList p_s) /*@*/ ;
# define ltokenList_isUndefined(s) ((s) == ltokenList_undefined)
extern int ltokenList_size (/*@sef@*/ ltokenList p_s) /*@*/ ;