4 /*@i32 make them abstract/? */
8 extern bool usymId_equal (usymId p_u1, usymId p_u2) /*@*/ ;
9 # define usymId_equal(u1,u2) ((u1) == (u2))
11 /*@constant usymId USYMIDINVALID;@*/
12 # define USYMIDINVALID -17
14 /*@constant typeId typeId_invalid;@*/
15 # define typeId_invalid USYMIDINVALID
18 # error "Multiple include"