test/db3/erc.lcs

   1 %PASSED Output from LCLint 3.0.0.8
   2 %LCLimports
   3 %LCLSortTable
   4 %LCLsort bool immutable nil nil
   5 %LCLsort Bool synonym bool nil
   6 %LCLsort int primitive nil nil
   7 %LCLsort char primitive nil nil
   8 %LCLsort void primitive nil nil
   9 %LCLsort _char_Obj obj char nil
  10 %LCLsort __char_Obj_Ptr ptr _char_Obj nil
  11 %LCLsort __char_Obj_Arr arr _char_Obj nil
  12 %LCLsort _char_Vec vec char __char_Obj_Arr
  13 %LCLsort float primitive nil nil
  14 %LCLsort double primitive nil nil
  15 %LCLsort _size_t synonym int nil
  16 %LCLsort _wchar_t synonym int nil
  17 %LCLsort _sstdlib0s_Struct str sstdlib0s nil
  18 %LCLsort rem strMem _int_Obj nil
  19 %LCLsort quot strMem _int_Obj nil
  20 %LCLsort strEnd nil nil nil
  21 %LCLsort _int_Obj obj int nil
  22 %LCLsort _sstdlib0s_Struct_Tuple tup _sstdlib0s_Struct nil
  23 %LCLsort __sstdlib0s_Struct_Ptr ptr _sstdlib0s_Struct nil
  24 %LCLsort __sstdlib0s_Struct_Arr arr _sstdlib0s_Struct nil
  25 %LCLsort __sstdlib0s_Struct_Tuple_Vec vec _sstdlib0s_Struct_Tuple __sstdlib0s_Struct_Arr
  26 %LCLsort _div_t synonym _sstdlib0s_Struct nil
  27 %LCLsort _sstdlib1s_Struct str sstdlib1s nil
  28 %LCLsort rem strMem _int_Obj nil
  29 %LCLsort quot strMem _int_Obj nil
  30 %LCLsort strEnd nil nil nil
  31 %LCLsort _sstdlib1s_Struct_Tuple tup _sstdlib1s_Struct nil
  32 %LCLsort __sstdlib1s_Struct_Ptr ptr _sstdlib1s_Struct nil
  33 %LCLsort __sstdlib1s_Struct_Arr arr _sstdlib1s_Struct nil
  34 %LCLsort __sstdlib1s_Struct_Tuple_Vec vec _sstdlib1s_Struct_Tuple __sstdlib1s_Struct_Arr
  35 %LCLsort _ldiv_t synonym _sstdlib1s_Struct nil
  36 %LCLsort _void_Obj obj void nil
  37 %LCLsort __void_Obj_Ptr ptr _void_Obj nil
  38 %LCLsort __void_Obj_Arr arr _void_Obj nil
  39 %LCLsort _void_Vec vec void __void_Obj_Arr
  40 %LCLsort _HOF_sort_32 hof nil nil
  41 %LCLsort _HOF_sort_33 hof nil nil
  42 %LCLsort __int_Obj_Ptr ptr _int_Obj nil
  43 %LCLsort __int_Obj_Arr arr _int_Obj nil
  44 %LCLsort _int_Vec vec int __int_Obj_Arr
  45 %LCLsort _HOF_sort_37 hof nil nil
  46 %LCLsort ___char_Obj_Ptr_Obj obj __char_Obj_Ptr nil
  47 %LCLsort ____char_Obj_Ptr_Obj_Ptr ptr ___char_Obj_Ptr_Obj nil
  48 %LCLsort ____char_Obj_Ptr_Obj_Arr arr ___char_Obj_Ptr_Obj nil
  49 %LCLsort ___char_Obj_Ptr_Vec vec __char_Obj_Ptr ____char_Obj_Ptr_Obj_Arr
  50 %LCLsort FILE immutable nil nil
  51 %LCLsort _va_list synonym __void_Obj_Ptr nil
  52 %LCLsort _fpos_t synonym __void_Obj_Ptr nil
  53 %LCLsort _FILE_Obj obj FILE nil
  54 %LCLsort __FILE_Obj_Ptr ptr _FILE_Obj nil
  55 %LCLsort __FILE_Obj_Arr arr _FILE_Obj nil
  56 %LCLsort _FILE_Vec vec FILE __FILE_Obj_Arr
  57 %LCLsort ___FILE_Obj_Ptr_Obj obj __FILE_Obj_Ptr nil
  58 %LCLsort ___void_Obj_Ptr_Obj obj __void_Obj_Ptr nil
  59 %LCLsort ____void_Obj_Ptr_Obj_Ptr ptr ___void_Obj_Ptr_Obj nil
  60 %LCLsort ____void_Obj_Ptr_Obj_Arr arr ___void_Obj_Ptr_Obj nil
  61 %LCLsort ___void_Obj_Ptr_Vec vec __void_Obj_Ptr ____void_Obj_Ptr_Obj_Arr
  62 %LCLsort _eemployee0e_Enum enum eemployee0e nil
  63 %LCLsort GENDER_UNKNOWN enumMem nil nil
  64 %LCLsort FEMALE enumMem nil nil
  65 %LCLsort MALE enumMem nil nil
  66 %LCLsort enumEnd nil nil nil
  67 %LCLsort _gender synonym _eemployee0e_Enum nil
  68 %LCLsort _eemployee1e_Enum enum eemployee1e nil
  69 %LCLsort JOB_UNKNOWN enumMem nil nil
  70 %LCLsort NONMGR enumMem nil nil
  71 %LCLsort MGR enumMem nil nil
  72 %LCLsort enumEnd nil nil nil
  73 %LCLsort _job synonym _eemployee1e_Enum nil
  74 %LCLsort _semployee0s_Struct str semployee0s nil
  75 %LCLsort j strMem __eemployee1e_Enum_Obj nil
  76 %LCLsort gen strMem __eemployee0e_Enum_Obj nil
  77 %LCLsort salary strMem _int_Obj nil
  78 %LCLsort name strMem __char_Obj_Arr nil
  79 %LCLsort ssNum strMem _int_Obj nil
  80 %LCLsort strEnd nil nil nil
  81 %LCLsort __eemployee0e_Enum_Obj obj _eemployee0e_Enum nil
  82 %LCLsort __eemployee1e_Enum_Obj obj _eemployee1e_Enum nil
  83 %LCLsort _semployee0s_Struct_Tuple tup _semployee0s_Struct nil
  84 %LCLsort __semployee0s_Struct_Ptr ptr _semployee0s_Struct nil
  85 %LCLsort __semployee0s_Struct_Arr arr _semployee0s_Struct nil
  86 %LCLsort __semployee0s_Struct_Tuple_Vec vec _semployee0s_Struct_Tuple __semployee0s_Struct_Arr
  87 %LCLsort _employee synonym _semployee0s_Struct nil
  88 %LCLsort eref immutable nil nil
  89 %LCLsort map immutable nil nil
  90 %LCLsort _map_Obj obj map nil
  91 %LCLsort empset immutable nil nil
  92 %LCLsort _empset_Obj mutable empset nil
  93 %LCLsort ereftab immutable nil nil
  94 %LCLsort _ereftab_Obj mutable ereftab nil
  95 %LCLsort erc immutable nil nil
  96 %LCLsort _erc_Obj mutable erc nil
  97 %LCLSortTableEnd
  98 %LCLSymbolTable
  99 %LCLop min :int, int -> int
 100 %LCLop max :int, int -> int
 101 %LCLop 0 : -> int
 102 %LCLop 0 : -> double
 103 %LCLop 1 : -> int
 104 %LCLop 1 : -> double
 105 %LCLop if __ then __ else __  :bool, bool, bool -> bool
 106 %LCLop if __ then __ else __  :bool, int, int -> int
 107 %LCLop if __ then __ else __  :bool, double, double -> double
 108 %LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
 109 %LCLop if __ then __ else __  :bool, char, char -> char
 110 %LCLop __ < __  :int, int -> bool
 111 %LCLop __ < __  :double, double -> bool
 112 %LCLop empty : -> _char_Vec
 113 %LCLop __ > __  :int, int -> bool
 114 %LCLop __ > __  :double, double -> bool
 115 %LCLop count :char, _char_Vec -> int
 116 %LCLop head :_char_Vec -> char
 117 %LCLop __ \inv :double -> double
 118 %LCLop init :_char_Vec -> _char_Vec
 119 %LCLop isEmpty :_char_Vec -> bool
 120 %LCLop last :_char_Vec -> char
 121 %LCLop len :_char_Vec -> int
 122 %LCLop prefix :_char_Vec, int -> _char_Vec
 123 %LCLop __ / __  :double, double -> double
 124 %LCLop __ \implies __  :bool, bool -> bool
 125 %LCLop removePrefix :_char_Vec, int -> _char_Vec
 126 %LCLop substring :_char_Vec, int, int -> _char_Vec
 127 %LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
 128 %LCLop tail :_char_Vec -> _char_Vec
 129 %LCLop __ \in __  :char, _char_Vec -> bool
 130 %LCLop nullTerminated :_char_Vec -> bool
 131 %LCLop throughNull :_char_Vec -> _char_Vec
 132 %LCLop sameStr :_char_Vec, _char_Vec -> bool
 133 %LCLop lenStr :_char_Vec -> int
 134 %LCLop times10plus :int, int -> int
 135 %LCLop plus1 :int -> int
 136 %LCLop 2 : -> int
 137 %LCLop 3 : -> int
 138 %LCLop 4 : -> int
 139 %LCLop 5 : -> int
 140 %LCLop 6 : -> int
 141 %LCLop 7 : -> int
 142 %LCLop 8 : -> int
 143 %LCLop 9 : -> int
 144 %LCLtag sstdlib0s struct
 145 %LCLop __ * __  :int, int -> int
 146 %LCLop __ * __  :double, double -> double
 147 %LCLop true : -> bool
 148 %LCLop false : -> bool
 149 %LCLop __ \and __  :bool, bool -> bool
 150 %LCLop __ \or __  :bool, bool -> bool
 151 %LCLtag sstdlib1s struct
 152 %LCLop __ \eq __  :bool, bool -> bool
 153 %LCLop __ \eq __  :int, int -> bool
 154 %LCLop __ \eq __  :double, double -> bool
 155 %LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
 156 %LCLop __ \eq __  :char, char -> bool
 157 %LCLop \not __  :bool -> bool
 158 %LCLop __ \neq __  :bool, bool -> bool
 159 %LCLop __ \neq __  :int, int -> bool
 160 %LCLop __ \neq __  :double, double -> bool
 161 %LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
 162 %LCLop __ \neq __  :char, char -> bool
 163 %LCLop MALE : -> _eemployee0e_Enum
 164 %LCLop { __ } :char -> _char_Vec
 165 %LCLop FEMALE : -> _eemployee0e_Enum
 166 %LCLop GENDER_UNKNOWN : -> _eemployee0e_Enum
 167 %LCLtag eemployee0e enum
 168 %LCLop MGR : -> _eemployee1e_Enum
 169 %LCLop NONMGR : -> _eemployee1e_Enum
 170 %LCLop JOB_UNKNOWN : -> _eemployee1e_Enum
 171 %LCLtag eemployee1e enum
 172 %LCLop [__, __] :int, int -> _sstdlib0s_Struct_Tuple
 173 %LCLop [__, __] :int, int -> _sstdlib1s_Struct_Tuple
 174 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
 175 %LCLop __ [] :__sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Arr
 176 %LCLop __ [] :__sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Arr
 177 %LCLop __ [] :__void_Obj_Ptr -> __void_Obj_Arr
 178 %LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
 179 %LCLop __ [] :____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Arr
 180 %LCLop __ [] :__FILE_Obj_Ptr -> __FILE_Obj_Arr
 181 %LCLop __ [] :____void_Obj_Ptr_Obj_Ptr -> ____void_Obj_Ptr_Obj_Arr
 182 %LCLop __ [] :__semployee0s_Struct_Ptr -> __semployee0s_Struct_Arr
 183 %LCLop __ |- __  :_char_Vec, char -> _char_Vec
 184 %LCLop __ [__] :_char_Vec, int -> char
 185 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
 186 %LCLop __ [__] :__sstdlib0s_Struct_Tuple_Vec, int -> _sstdlib0s_Struct_Tuple
 187 %LCLop __ [__] :__sstdlib0s_Struct_Arr, int -> _sstdlib0s_Struct
 188 %LCLop __ [__] :__sstdlib1s_Struct_Tuple_Vec, int -> _sstdlib1s_Struct_Tuple
 189 %LCLop __ [__] :__sstdlib1s_Struct_Arr, int -> _sstdlib1s_Struct
 190 %LCLop __ [__] :_void_Vec, int -> void
 191 %LCLop __ [__] :__void_Obj_Arr, int -> _void_Obj
 192 %LCLop __ [__] :_int_Vec, int -> int
 193 %LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
 194 %LCLop __ [__] :___char_Obj_Ptr_Vec, int -> __char_Obj_Ptr
 195 %LCLop __ [__] :____char_Obj_Ptr_Obj_Arr, int -> ___char_Obj_Ptr_Obj
 196 %LCLop __ [__] :_FILE_Vec, int -> FILE
 197 %LCLop __ [__] :__FILE_Obj_Arr, int -> _FILE_Obj
 198 %LCLop __ [__] :___void_Obj_Ptr_Vec, int -> __void_Obj_Ptr
 199 %LCLop __ [__] :____void_Obj_Ptr_Obj_Arr, int -> ___void_Obj_Ptr_Obj
 200 %LCLop __ [__] :__semployee0s_Struct_Tuple_Vec, int -> _semployee0s_Struct_Tuple
 201 %LCLop __ [__] :__semployee0s_Struct_Arr, int -> _semployee0s_Struct
 202 %LCLop __ -| __  :char, _char_Vec -> _char_Vec
 203 %LCLop [__, __, __, __, __] :_eemployee1e_Enum, _eemployee0e_Enum, int, _char_Vec, int -> _semployee0s_Struct_Tuple
 204 %LCLop __ \select quot :_sstdlib0s_Struct_Tuple -> int
 205 %LCLop __ \select quot :_sstdlib0s_Struct -> _int_Obj
 206 %LCLop __ \select quot :_sstdlib1s_Struct_Tuple -> int
 207 %LCLop __ \select quot :_sstdlib1s_Struct -> _int_Obj
 208 %LCLtag semployee0s struct
 209 %LCLop __ \leq __  :int, int -> bool
 210 %LCLop __ \leq __  :double, double -> bool
 211 %LCLop __ \field_arrow quot :__sstdlib0s_Struct_Ptr -> _int_Obj
 212 %LCLop __ \field_arrow quot :__sstdlib1s_Struct_Ptr -> _int_Obj
 213 %LCLop __ \select rem :_sstdlib0s_Struct_Tuple -> int
 214 %LCLop __ \select rem :_sstdlib0s_Struct -> _int_Obj
 215 %LCLop __ \select rem :_sstdlib1s_Struct_Tuple -> int
 216 %LCLop __ \select rem :_sstdlib1s_Struct -> _int_Obj
 217 %LCLop __ \geq __  :int, int -> bool
 218 %LCLop __ \geq __  :double, double -> bool
 219 %LCLop __ \field_arrow rem :__sstdlib0s_Struct_Ptr -> _int_Obj
 220 %LCLop __ \field_arrow rem :__sstdlib1s_Struct_Ptr -> _int_Obj
 221 %LCLop null : -> char
 222 %LCLop __ \select ssNum :_semployee0s_Struct_Tuple -> int
 223 %LCLop __ \select ssNum :_semployee0s_Struct -> _int_Obj
 224 %LCLop __ \select name :_semployee0s_Struct_Tuple -> _char_Vec
 225 %LCLop __ \select name :_semployee0s_Struct -> __char_Obj_Arr
 226 %LCLop __ \field_arrow ssNum :__semployee0s_Struct_Ptr -> _int_Obj
 227 %LCLop __ \select salary :_semployee0s_Struct_Tuple -> int
 228 %LCLop __ \select salary :_semployee0s_Struct -> _int_Obj
 229 %LCLop __ \field_arrow name :__semployee0s_Struct_Ptr -> __char_Obj_Arr
 230 %LCLop __ \select gen :_semployee0s_Struct_Tuple -> _eemployee0e_Enum
 231 %LCLop __ \select gen :_semployee0s_Struct -> __eemployee0e_Enum_Obj
 232 %LCLop NIL : -> __char_Obj_Ptr
 233 %LCLop NIL : -> __sstdlib0s_Struct_Ptr
 234 %LCLop NIL : -> __sstdlib1s_Struct_Ptr
 235 %LCLop NIL : -> __void_Obj_Ptr
 236 %LCLop NIL : -> __int_Obj_Ptr
 237 %LCLop NIL : -> ____char_Obj_Ptr_Obj_Ptr
 238 %LCLop NIL : -> __FILE_Obj_Ptr
 239 %LCLop NIL : -> ____void_Obj_Ptr_Obj_Ptr
 240 %LCLop NIL : -> __semployee0s_Struct_Ptr
 241 %LCLop __ \field_arrow salary :__semployee0s_Struct_Ptr -> _int_Obj
 242 %LCLop __ \select j :_semployee0s_Struct_Tuple -> _eemployee1e_Enum
 243 %LCLop __ \select j :_semployee0s_Struct -> __eemployee1e_Enum_Obj
 244 %LCLop __ \field_arrow gen :__semployee0s_Struct_Ptr -> __eemployee0e_Enum_Obj
 245 %LCLop __ \field_arrow j :__semployee0s_Struct_Ptr -> __eemployee1e_Enum_Obj
 246 %LCLop - __  :int -> int
 247 %LCLop - __  :double -> double
 248 %LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
 249 %LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
 250 %LCLop __ + __  :int, int -> int
 251 %LCLop __ + __  :double, double -> double
 252 %LCLop __ + __  :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
 253 %LCLop __ + __  :int, __sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Ptr
 254 %LCLop __ + __  :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
 255 %LCLop __ + __  :int, __sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Ptr
 256 %LCLop __ + __  :__void_Obj_Ptr, int -> __void_Obj_Ptr
 257 %LCLop __ + __  :int, __void_Obj_Ptr -> __void_Obj_Ptr
 258 %LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
 259 %LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
 260 %LCLop __ + __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
 261 %LCLop __ + __  :int, ____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Ptr
 262 %LCLop __ + __  :__FILE_Obj_Ptr, int -> __FILE_Obj_Ptr
 263 %LCLop __ + __  :int, __FILE_Obj_Ptr -> __FILE_Obj_Ptr
 264 %LCLop __ + __  :____void_Obj_Ptr_Obj_Ptr, int -> ____void_Obj_Ptr_Obj_Ptr
 265 %LCLop __ + __  :int, ____void_Obj_Ptr_Obj_Ptr -> ____void_Obj_Ptr_Obj_Ptr
 266 %LCLop __ + __  :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
 267 %LCLop __ + __  :int, __semployee0s_Struct_Ptr -> __semployee0s_Struct_Ptr
 268 %LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
 269 %LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
 270 %LCLop __ - __  :int, int -> int
 271 %LCLop __ - __  :double, double -> double
 272 %LCLop __ - __  :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
 273 %LCLop __ - __  :__sstdlib0s_Struct_Ptr, __sstdlib0s_Struct_Ptr -> int
 274 %LCLop __ - __  :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
 275 %LCLop __ - __  :__sstdlib1s_Struct_Ptr, __sstdlib1s_Struct_Ptr -> int
 276 %LCLop __ - __  :__void_Obj_Ptr, int -> __void_Obj_Ptr
 277 %LCLop __ - __  :__void_Obj_Ptr, __void_Obj_Ptr -> int
 278 %LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
 279 %LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
 280 %LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
 281 %LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> int
 282 %LCLop __ - __  :__FILE_Obj_Ptr, int -> __FILE_Obj_Ptr
 283 %LCLop __ - __  :__FILE_Obj_Ptr, __FILE_Obj_Ptr -> int
 284 %LCLop __ - __  :____void_Obj_Ptr_Obj_Ptr, int -> ____void_Obj_Ptr_Obj_Ptr
 285 %LCLop __ - __  :____void_Obj_Ptr_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int
 286 %LCLop __ - __  :__semployee0s_Struct_Ptr, int -> __semployee0s_Struct_Ptr
 287 %LCLop __ - __  :__semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> int
 288 %LCLop sizeof :bool -> int
 289 %LCLop sizeof :int -> int
 290 %LCLop sizeof :char -> int
 291 %LCLop sizeof :void -> int
 292 %LCLop sizeof :float -> int
 293 %LCLop sizeof :double -> int
 294 %LCLop sizeof :FILE -> int
 295 %LCLop sizeof :_eemployee0e_Enum -> int
 296 %LCLop sizeof :_eemployee1e_Enum -> int
 297 %LCLop sizeof :eref -> int
 298 %LCLop sizeof :map -> int
 299 %LCLop sizeof :empset -> int
 300 %LCLop sizeof :ereftab -> int
 301 %LCLop sizeof :erc -> int
 302 %LCLop isSub :_char_Vec, int -> bool
 303 %LCLop isSub :__char_Obj_Arr, int -> bool
 304 %LCLop isSub :__sstdlib0s_Struct_Tuple_Vec, int -> bool
 305 %LCLop isSub :__sstdlib0s_Struct_Arr, int -> bool
 306 %LCLop isSub :__sstdlib1s_Struct_Tuple_Vec, int -> bool
 307 %LCLop isSub :__sstdlib1s_Struct_Arr, int -> bool
 308 %LCLop isSub :_void_Vec, int -> bool
 309 %LCLop isSub :__void_Obj_Arr, int -> bool
 310 %LCLop isSub :_int_Vec, int -> bool
 311 %LCLop isSub :__int_Obj_Arr, int -> bool
 312 %LCLop isSub :___char_Obj_Ptr_Vec, int -> bool
 313 %LCLop isSub :____char_Obj_Ptr_Obj_Arr, int -> bool
 314 %LCLop isSub :_FILE_Vec, int -> bool
 315 %LCLop isSub :__FILE_Obj_Arr, int -> bool
 316 %LCLop isSub :___void_Obj_Ptr_Vec, int -> bool
 317 %LCLop isSub :____void_Obj_Ptr_Obj_Arr, int -> bool
 318 %LCLop isSub :__semployee0s_Struct_Tuple_Vec, int -> bool
 319 %LCLop isSub :__semployee0s_Struct_Arr, int -> bool
 320 %LCLop succ :int -> int
 321 %LCLop pred :int -> int
 322 %LCLop abs :int -> int
 323 %LCLop abs :double -> double
 324 %LCLop div :int, int -> int
 325 %LCLop mod :int, int -> int
 326 %LCLtype float float exposed
 327 %LCLtype bool bool immutable
 328 %LCLconst FALSE bool
 329 %LCLconst TRUE bool
 330 %LCLtype float float exposed
 331 %LCLtype bool bool immutable
 332 %LCLconst FALSE bool
 333 %LCLconst TRUE bool
 334 %LCLtype float float exposed
 335 %LCLtype bool bool immutable
 336 %LCLconst FALSE bool
 337 %LCLconst TRUE bool
 338 %LCLtype float float exposed
 339 %LCLtype bool bool immutable
 340 %LCLconst FALSE bool
 341 %LCLconst TRUE bool
 342 %LCLtype float float exposed
 343 %LCLtype bool bool immutable
 344 %LCLconst FALSE bool
 345 %LCLconst TRUE bool
 346 %LCLtype size_t _size_t exposed
 347 %LCLtype wchar_t _wchar_t exposed
 348 %LCLtype div_t _div_t exposed
 349 %LCLtype ldiv_t _ldiv_t exposed
 350 %LCLconst NULL __void_Obj_Ptr
 351 %LCLconst EXIT_FAILURE int
 352 %LCLconst EXIT_SUCCESS int
 353 %LCLconst RAND_MAX int
 354 %LCLconst MB_CUR_MAX int
 355 %LCLfcn abort :  -> void
 356 %LCLfcnGlobals
 357 %LCLfcn abs : int -> int
 358 %LCLfcnGlobals
 359 %LCLfcn atexit : _HOF_sort_32 -> int
 360 %LCLfcnGlobals
 361 %LCLfcn atof : __char_Obj_Ptr -> double
 362 %LCLfcnGlobals
 363 %LCLfcn atoi : __char_Obj_Ptr -> int
 364 %LCLfcnGlobals
 365 %LCLfcn atol : __char_Obj_Ptr -> int
 366 %LCLfcnGlobals
 367 %LCLfcn bsearch : __void_Obj_Ptr, __void_Obj_Ptr, int, int, _HOF_sort_33 -> __void_Obj_Ptr
 368 %LCLfcnGlobals
 369 %LCLfcn calloc : int, int -> __void_Obj_Ptr
 370 %LCLfcnGlobals
 371 %LCLfcn div : int, int -> _sstdlib0s_Struct
 372 %LCLfcnGlobals
 373 %LCLfcn exit : int -> void
 374 %LCLfcnGlobals
 375 %LCLfcn free : __void_Obj_Ptr -> void
 376 %LCLfcnGlobals
 377 %LCLfcn getenv : __char_Obj_Ptr -> __char_Obj_Ptr
 378 %LCLfcnGlobals
 379 %LCLfcn labs : int -> int
 380 %LCLfcnGlobals
 381 %LCLfcn ldiv : int, int -> _sstdlib1s_Struct
 382 %LCLfcnGlobals
 383 %LCLfcn malloc : int -> __void_Obj_Ptr
 384 %LCLfcnGlobals
 385 %LCLfcn mblen : __char_Obj_Ptr, int -> int
 386 %LCLfcnGlobals
 387 %LCLfcn mbstowcs : __int_Obj_Ptr, __char_Obj_Ptr, int -> int
 388 %LCLfcnGlobals
 389 %LCLfcn mbtowc : __int_Obj_Ptr, __char_Obj_Ptr, int -> int
 390 %LCLfcnGlobals
 391 %LCLfcn qsort : __void_Obj_Ptr, int, int, _HOF_sort_37 -> void
 392 %LCLfcnGlobals
 393 %LCLfcn rand :  -> int
 394 %LCLfcnGlobals
 395 %LCLfcn realloc : __void_Obj_Ptr, int -> __void_Obj_Ptr
 396 %LCLfcnGlobals
 397 %LCLfcn srand : int -> void
 398 %LCLfcnGlobals
 399 %LCLfcn strtod : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> double
 400 %LCLfcnGlobals
 401 %LCLfcn strtol : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int
 402 %LCLfcnGlobals
 403 %LCLfcn strtoul : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int
 404 %LCLfcnGlobals
 405 %LCLfcn system : __char_Obj_Ptr -> int
 406 %LCLfcnGlobals
 407 %LCLfcn wcstombs : __char_Obj_Ptr, __int_Obj_Ptr, int -> int
 408 %LCLfcnGlobals
 409 %LCLfcn wctomb : __char_Obj_Ptr, int -> int
 410 %LCLfcnGlobals
 411 %LCLfcn bcopy : __char_Obj_Ptr, __char_Obj_Ptr, int -> void
 412 %LCLfcnGlobals
 413 %LCLfcn bcmp : __char_Obj_Ptr, __char_Obj_Ptr, int -> bool
 414 %LCLfcnGlobals
 415 %LCLfcn bzero : __char_Obj_Ptr, int -> void
 416 %LCLfcnGlobals
 417 %LCLfcn ffs : int -> int
 418 %LCLfcnGlobals
 419 %LCLfcn memccpy : __void_Obj_Ptr, __void_Obj_Ptr, int, int -> __void_Obj_Ptr
 420 %LCLfcnGlobals
 421 %LCLfcn memchr : __void_Obj_Ptr, int, int -> __void_Obj_Ptr
 422 %LCLfcnGlobals
 423 %LCLfcn memcmp : __void_Obj_Ptr, __void_Obj_Ptr, int -> bool
 424 %LCLfcnGlobals
 425 %LCLfcn memcpy : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr
 426 %LCLfcnGlobals
 427 %LCLfcn memset : __void_Obj_Ptr, int, int -> __void_Obj_Ptr
 428 %LCLfcnGlobals
 429 %LCLfcn memmove : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr
 430 %LCLfcnGlobals
 431 %LCLtype FILE FILE immutable
 432 %LCLtype va_list _va_list exposed
 433 %LCLtype fpos_t _fpos_t exposed
 434 %LCLvar stdin ___FILE_Obj_Ptr_Obj
 435 %LCLvar stdout ___FILE_Obj_Ptr_Obj
 436 %LCLvar stderr ___FILE_Obj_Ptr_Obj
 437 %LCLconst EOF int
 438 %LCLfcn getc : __FILE_Obj_Ptr -> int
 439 %LCLfcnGlobals
 440 %LCLfcn getchar :  -> int
 441 %LCLfcnGlobals
 442 %LCLfcn putc : int, __FILE_Obj_Ptr -> int
 443 %LCLfcnGlobals
 444 %LCLfcn putchar : int -> int
 445 %LCLfcnGlobals
 446 %LCLfcn feof : __FILE_Obj_Ptr -> int
 447 %LCLfcnGlobals
 448 %LCLfcn ferror : __FILE_Obj_Ptr -> int
 449 %LCLfcnGlobals
 450 %LCLfcn fileno : __FILE_Obj_Ptr -> int
 451 %LCLfcnGlobals
 452 %LCLfcn _filbuf : __FILE_Obj_Ptr -> int
 453 %LCLfcnGlobals
 454 %LCLfcn _flsbuf : char, __FILE_Obj_Ptr -> int
 455 %LCLfcnGlobals
 456 %LCLfcn clearerr : __FILE_Obj_Ptr -> void
 457 %LCLfcnGlobals
 458 %LCLfcn fclose : __FILE_Obj_Ptr -> int
 459 %LCLfcnGlobals
 460 %LCLfcn fdopen : int, __char_Obj_Ptr -> __FILE_Obj_Ptr
 461 %LCLfcnGlobals
 462 %LCLfcn fflush : __FILE_Obj_Ptr -> int
 463 %LCLfcnGlobals
 464 %LCLfcn fgetc : __FILE_Obj_Ptr -> int
 465 %LCLfcnGlobals
 466 %LCLfcn fgetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int
 467 %LCLfcnGlobals
 468 %LCLfcn fgets : __char_Obj_Ptr, int, __FILE_Obj_Ptr -> __char_Obj_Ptr
 469 %LCLfcnGlobals
 470 %LCLfcn fopen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr
 471 %LCLfcnGlobals
 472 %LCLfcn fprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int
 473 %LCLfcnGlobals
 474 %LCLfcn sprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int
 475 %LCLfcnGlobals
 476 %LCLfcn fputc : int, __FILE_Obj_Ptr -> int
 477 %LCLfcnGlobals
 478 %LCLfcn fputs : __char_Obj_Ptr, __FILE_Obj_Ptr -> int
 479 %LCLfcnGlobals
 480 %LCLfcn fread : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int
 481 %LCLfcnGlobals
 482 %LCLfcn freopen : __char_Obj_Ptr, __char_Obj_Ptr, __FILE_Obj_Ptr -> __FILE_Obj_Ptr
 483 %LCLfcnGlobals
 484 %LCLfcn fscanf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int
 485 %LCLfcnGlobals
 486 %LCLfcn fseek : __FILE_Obj_Ptr, int, int -> int
 487 %LCLfcnGlobals
 488 %LCLfcn fsetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int
 489 %LCLfcnGlobals
 490 %LCLfcn ftell : __FILE_Obj_Ptr -> int
 491 %LCLfcnGlobals
 492 %LCLfcn fwrite : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int
 493 %LCLfcnGlobals
 494 %LCLfcn gets : __char_Obj_Ptr -> __char_Obj_Ptr
 495 %LCLfcnGlobals
 496 %LCLfcn perror : __char_Obj_Ptr -> void
 497 %LCLfcnGlobals
 498 %LCLfcn popen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr
 499 %LCLfcnGlobals
 500 %LCLfcn ungetc : char, __FILE_Obj_Ptr -> int
 501 %LCLfcnGlobals
 502 %LCLfcn printf : __char_Obj_Ptr -> int
 503 %LCLfcnGlobals
 504 %LCLfcn puts : __char_Obj_Ptr -> int
 505 %LCLfcnGlobals
 506 %LCLfcn remove : __char_Obj_Ptr -> int
 507 %LCLfcnGlobals
 508 %LCLfcn rename : __char_Obj_Ptr, __char_Obj_Ptr -> int
 509 %LCLfcnGlobals
 510 %LCLfcn rewind : __FILE_Obj_Ptr -> void
 511 %LCLfcnGlobals
 512 %LCLfcn scanf : __char_Obj_Ptr -> int
 513 %LCLfcnGlobals
 514 %LCLfcn setbuf : __FILE_Obj_Ptr, __char_Obj_Ptr -> void
 515 %LCLfcnGlobals
 516 %LCLfcn setvbuf : __FILE_Obj_Ptr, __char_Obj_Ptr, int, int -> int
 517 %LCLfcnGlobals
 518 %LCLfcn sscanf : __char_Obj_Ptr, __char_Obj_Ptr -> int
 519 %LCLfcnGlobals
 520 %LCLfcn tmpfile :  -> __FILE_Obj_Ptr
 521 %LCLfcnGlobals
 522 %LCLfcn tmpnam : __char_Obj_Ptr -> __char_Obj_Ptr
 523 %LCLfcnGlobals
 524 %LCLconst maxEmployeeName int
 525 %LCLconst employeePrintSize int
 526 %LCLenumConst MALE _eemployee0e_Enum
 527 %LCLenumConst FEMALE _eemployee0e_Enum
 528 %LCLenumConst GENDER_UNKNOWN _eemployee0e_Enum
 529 %LCLtype gender _gender exposed
 530 %LCLenumConst MGR _eemployee1e_Enum
 531 %LCLenumConst NONMGR _eemployee1e_Enum
 532 %LCLenumConst JOB_UNKNOWN _eemployee1e_Enum
 533 %LCLtype job _job exposed
 534 %LCLtype employee _employee exposed
 535 %LCLfcn employee_sprint : __char_Obj_Arr, _semployee0s_Struct_Tuple -> void
 536 %LCLfcnGlobals
 537 %LCLfcn employee_equal : __semployee0s_Struct_Ptr, __semployee0s_Struct_Ptr -> bool
 538 %LCLfcnGlobals
 539 %LCLfcn employee_setName : __semployee0s_Struct_Ptr, __char_Obj_Arr -> bool
 540 %LCLfcnGlobals
 541 %LCLfcn employee_initMod :  -> void
 542 %LCLfcnGlobals
 543 %LCLtype eref eref immutable
 544 %LCLconst eref_undefined eref
 545 %LCLtype map map immutable
 546 %LCLvar m _map_Obj
 547 %LCLfcn eref_alloc :  -> eref
 548 %LCLfcnGlobals _map_Obj m;
 549 %LCLfcn eref_isDefined : eref -> bool
 550 %LCLfcnGlobals _map_Obj m;
 551 %LCLfcn eref_free : eref -> void
 552 %LCLfcnGlobals _map_Obj m;
 553 %LCLfcn eref_assign : eref, _semployee0s_Struct_Tuple -> void
 554 %LCLfcnGlobals _map_Obj m;
 555 %LCLfcn eref_get : eref -> _semployee0s_Struct
 556 %LCLfcnGlobals _map_Obj m;
 557 %LCLfcn eref_equal : eref, eref -> bool
 558 %LCLfcnGlobals
 559 %LCLfcn eref_initMod :  -> void
 560 %LCLfcnGlobals _map_Obj m;
 561 %LCLtype erc _erc_Obj mutable
 562 %LCLfcn erc_create :  -> _erc_Obj
 563 %LCLfcnGlobals
 564 %LCLfcn erc_clear : _erc_Obj -> void
 565 %LCLfcnGlobals
 566 %LCLfcn erc_insert : _erc_Obj, eref -> void
 567 %LCLfcnGlobals
 568 %LCLfcn erc_delete : _erc_Obj, eref -> bool
 569 %LCLfcnGlobals
 570 %LCLfcn erc_member : eref, _erc_Obj -> bool
 571 %LCLfcnGlobals
 572 %LCLfcn erc_choose : _erc_Obj -> eref
 573 %LCLfcnGlobals
 574 %LCLfcn erc_size : _erc_Obj -> int
 575 %LCLfcnGlobals
 576 %LCLfcn erc_join : _erc_Obj, _erc_Obj -> void
 577 %LCLfcnGlobals
 578 %LCLfcn erc_sprint : _erc_Obj -> __char_Obj_Ptr
 579 %LCLfcnGlobals
 580 %LCLfcn erc_final : _erc_Obj -> void
 581 %LCLfcnGlobals
 582 %LCLfcn erc_initMod :  -> void
 583 %LCLfcnGlobals
 584 %LCLSymbolTableEnd