test/db2/erc.lcs

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