[splint.git] / imports / stdio.lcs

%PASSED Output from LCLint 2.0
%LCLimports 
%LCLSortTable
%LCLsort bool immutable nil nil
%LCLsort Bool synonym bool nil
%LCLsort int primitive nil nil
%LCLsort char primitive nil nil
%LCLsort void primitive nil nil
%LCLsort _char_Obj obj char nil
%LCLsort __char_Obj_Ptr ptr _char_Obj nil
%LCLsort __char_Obj_Arr arr _char_Obj nil
%LCLsort _char_Vec vec char __char_Obj_Arr
%LCLsort float primitive nil nil
%LCLsort double primitive nil nil
%LCLsort _size_t synonym int nil
%LCLsort _wchar_t synonym int nil
%LCLsort _sstdlib0s_Struct str sstdlib0s nil
%LCLsort quot strMem _int_Obj nil
%LCLsort rem strMem _int_Obj nil
%LCLsort strEnd nil nil nil
%LCLsort _int_Obj obj int nil
%LCLsort _sstdlib0s_Struct_Tuple tup _sstdlib0s_Struct nil
%LCLsort __sstdlib0s_Struct_Ptr ptr _sstdlib0s_Struct nil
%LCLsort __sstdlib0s_Struct_Arr arr _sstdlib0s_Struct nil
%LCLsort __sstdlib0s_Struct_Tuple_Vec vec _sstdlib0s_Struct_Tuple __sstdlib0s_Struct_Arr
%LCLsort _div_t synonym _sstdlib0s_Struct nil
%LCLsort _sstdlib1s_Struct str sstdlib1s nil
%LCLsort quot strMem _int_Obj nil
%LCLsort rem strMem _int_Obj nil
%LCLsort strEnd nil nil nil
%LCLsort _sstdlib1s_Struct_Tuple tup _sstdlib1s_Struct nil
%LCLsort __sstdlib1s_Struct_Ptr ptr _sstdlib1s_Struct nil
%LCLsort __sstdlib1s_Struct_Arr arr _sstdlib1s_Struct nil
%LCLsort __sstdlib1s_Struct_Tuple_Vec vec _sstdlib1s_Struct_Tuple __sstdlib1s_Struct_Arr
%LCLsort _ldiv_t synonym _sstdlib1s_Struct nil
%LCLsort _void_Obj obj void nil
%LCLsort __void_Obj_Ptr ptr _void_Obj nil
%LCLsort __void_Obj_Arr arr _void_Obj nil
%LCLsort _void_Vec vec void __void_Obj_Arr
%LCLsort _HOF_sort_32 hof nil nil
%LCLsort _HOF_sort_33 hof nil nil
%LCLsort __int_Obj_Ptr ptr _int_Obj nil
%LCLsort __int_Obj_Arr arr _int_Obj nil
%LCLsort _int_Vec vec int __int_Obj_Arr
%LCLsort _HOF_sort_37 hof nil nil
%LCLsort ___char_Obj_Ptr_Obj obj __char_Obj_Ptr nil
%LCLsort ____char_Obj_Ptr_Obj_Ptr ptr ___char_Obj_Ptr_Obj nil
%LCLsort ____char_Obj_Ptr_Obj_Arr arr ___char_Obj_Ptr_Obj nil
%LCLsort ___char_Obj_Ptr_Vec vec __char_Obj_Ptr ____char_Obj_Ptr_Obj_Arr
%LCLsort FILE immutable nil nil
%LCLsort _va_list synonym __void_Obj_Ptr nil
%LCLsort _fpos_t synonym __void_Obj_Ptr nil
%LCLsort _FILE_Obj obj FILE nil
%LCLsort __FILE_Obj_Ptr ptr _FILE_Obj nil
%LCLsort __FILE_Obj_Arr arr _FILE_Obj nil
%LCLsort _FILE_Vec vec FILE __FILE_Obj_Arr
%LCLsort ___FILE_Obj_Ptr_Obj obj __FILE_Obj_Ptr nil
%LCLsort ___void_Obj_Ptr_Obj obj __void_Obj_Ptr nil
%LCLsort ____void_Obj_Ptr_Obj_Ptr ptr ___void_Obj_Ptr_Obj nil
%LCLsort ____void_Obj_Ptr_Obj_Arr arr ___void_Obj_Ptr_Obj nil
%LCLsort ___void_Obj_Ptr_Vec vec __void_Obj_Ptr ____void_Obj_Ptr_Obj_Arr
%LCLSortTableEnd
%LCLSymbolTable
%LCLop mod :int, int -> int
%LCLop min :int, int -> int
%LCLop max :int, int -> int
%LCLop 0 : -> int
%LCLop 0 : -> double
%LCLop 1 : -> int
%LCLop 1 : -> double
%LCLop if __ then __ else __  :bool, bool, bool -> bool
%LCLop if __ then __ else __  :bool, int, int -> int
%LCLop if __ then __ else __  :bool, double, double -> double
%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
%LCLop if __ then __ else __  :bool, char, char -> char
%LCLop __ < __  :int, int -> bool
%LCLop __ < __  :double, double -> bool
%LCLop empty : -> _char_Vec
%LCLop __ > __  :int, int -> bool
%LCLop __ > __  :double, double -> bool
%LCLop count :char, _char_Vec -> int
%LCLop head :_char_Vec -> char
%LCLop __ \inv :double -> double
%LCLop init :_char_Vec -> _char_Vec
%LCLop isEmpty :_char_Vec -> bool
%LCLop last :_char_Vec -> char
%LCLop len :_char_Vec -> int
%LCLop __ \implies __  :bool, bool -> bool
%LCLop prefix :_char_Vec, int -> _char_Vec
%LCLop __ / __  :double, double -> double
%LCLop removePrefix :_char_Vec, int -> _char_Vec
%LCLop substring :_char_Vec, int, int -> _char_Vec
%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
%LCLop tail :_char_Vec -> _char_Vec
%LCLop __ \in __  :char, _char_Vec -> bool
%LCLop nullTerminated :_char_Vec -> bool
%LCLop throughNull :_char_Vec -> _char_Vec
%LCLop sameStr :_char_Vec, _char_Vec -> bool
%LCLop lenStr :_char_Vec -> int
%LCLop times10plus :int, int -> int
%LCLop plus1 :int -> int
%LCLop 2 : -> int
%LCLop 3 : -> int
%LCLop 4 : -> int
%LCLop 5 : -> int
%LCLop 6 : -> int
%LCLop 7 : -> int
%LCLop 8 : -> int
%LCLop 9 : -> int
%LCLtag sstdlib0s struct
%LCLop __ * __  :int, int -> int
%LCLop __ * __  :double, double -> double
%LCLop true : -> bool
%LCLop false : -> bool
%LCLop __ \and __  :bool, bool -> bool
%LCLop __ \or __  :bool, bool -> bool
%LCLop __ \eq __  :bool, bool -> bool
%LCLop __ \eq __  :int, int -> bool
%LCLop __ \eq __  :double, double -> bool
%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
%LCLop __ \eq __  :char, char -> bool
%LCLop \not __  :bool -> bool
%LCLtag sstdlib1s struct
%LCLop __ \neq __  :bool, bool -> bool
%LCLop __ \neq __  :int, int -> bool
%LCLop __ \neq __  :double, double -> bool
%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
%LCLop __ \neq __  :char, char -> bool
%LCLop { __ } :char -> _char_Vec
%LCLop [__, __] :int, int -> _sstdlib0s_Struct_Tuple
%LCLop [__, __] :int, int -> _sstdlib1s_Struct_Tuple
%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
%LCLop __ [] :__sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Arr
%LCLop __ [] :__sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Arr
%LCLop __ [] :__void_Obj_Ptr -> __void_Obj_Arr
%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
%LCLop __ [] :____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Arr
%LCLop __ [] :__FILE_Obj_Ptr -> __FILE_Obj_Arr
%LCLop __ [] :____void_Obj_Ptr_Obj_Ptr -> ____void_Obj_Ptr_Obj_Arr
%LCLop __ [__] :_char_Vec, int -> char
%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
%LCLop __ [__] :__sstdlib0s_Struct_Tuple_Vec, int -> _sstdlib0s_Struct_Tuple
%LCLop __ [__] :__sstdlib0s_Struct_Arr, int -> _sstdlib0s_Struct
%LCLop __ [__] :__sstdlib1s_Struct_Tuple_Vec, int -> _sstdlib1s_Struct_Tuple
%LCLop __ [__] :__sstdlib1s_Struct_Arr, int -> _sstdlib1s_Struct
%LCLop __ [__] :_void_Vec, int -> void
%LCLop __ [__] :__void_Obj_Arr, int -> _void_Obj
%LCLop __ [__] :_int_Vec, int -> int
%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
%LCLop __ [__] :___char_Obj_Ptr_Vec, int -> __char_Obj_Ptr
%LCLop __ [__] :____char_Obj_Ptr_Obj_Arr, int -> ___char_Obj_Ptr_Obj
%LCLop __ [__] :_FILE_Vec, int -> FILE
%LCLop __ [__] :__FILE_Obj_Arr, int -> _FILE_Obj
%LCLop __ [__] :___void_Obj_Ptr_Vec, int -> __void_Obj_Ptr
%LCLop __ [__] :____void_Obj_Ptr_Obj_Arr, int -> ___void_Obj_Ptr_Obj
%LCLop __ |- __  :_char_Vec, char -> _char_Vec
%LCLop __ -| __  :char, _char_Vec -> _char_Vec
%LCLop __ \select rem :_sstdlib0s_Struct_Tuple -> int
%LCLop __ \select rem :_sstdlib0s_Struct -> _int_Obj
%LCLop __ \select rem :_sstdlib1s_Struct_Tuple -> int
%LCLop __ \select rem :_sstdlib1s_Struct -> _int_Obj
%LCLop __ \field_arrow rem :__sstdlib0s_Struct_Ptr -> _int_Obj
%LCLop __ \field_arrow rem :__sstdlib1s_Struct_Ptr -> _int_Obj
%LCLop __ \select quot :_sstdlib0s_Struct_Tuple -> int
%LCLop __ \select quot :_sstdlib0s_Struct -> _int_Obj
%LCLop __ \select quot :_sstdlib1s_Struct_Tuple -> int
%LCLop __ \select quot :_sstdlib1s_Struct -> _int_Obj
%LCLop __ \leq __  :int, int -> bool
%LCLop __ \leq __  :double, double -> bool
%LCLop __ \field_arrow quot :__sstdlib0s_Struct_Ptr -> _int_Obj
%LCLop __ \field_arrow quot :__sstdlib1s_Struct_Ptr -> _int_Obj
%LCLop __ \geq __  :int, int -> bool
%LCLop __ \geq __  :double, double -> bool
%LCLop null : -> char
%LCLop NIL : -> __char_Obj_Ptr
%LCLop NIL : -> __sstdlib0s_Struct_Ptr
%LCLop NIL : -> __sstdlib1s_Struct_Ptr
%LCLop NIL : -> __void_Obj_Ptr
%LCLop NIL : -> __int_Obj_Ptr
%LCLop NIL : -> ____char_Obj_Ptr_Obj_Ptr
%LCLop NIL : -> __FILE_Obj_Ptr
%LCLop NIL : -> ____void_Obj_Ptr_Obj_Ptr
%LCLop - __  :int -> int
%LCLop - __  :double -> double
%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
%LCLop __ + __  :int, int -> int
%LCLop __ + __  :double, double -> double
%LCLop __ + __  :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
%LCLop __ + __  :int, __sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Ptr
%LCLop __ + __  :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
%LCLop __ + __  :int, __sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Ptr
%LCLop __ + __  :__void_Obj_Ptr, int -> __void_Obj_Ptr
%LCLop __ + __  :int, __void_Obj_Ptr -> __void_Obj_Ptr
%LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
%LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
%LCLop __ + __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
%LCLop __ + __  :int, ____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Ptr
%LCLop __ + __  :__FILE_Obj_Ptr, int -> __FILE_Obj_Ptr
%LCLop __ + __  :int, __FILE_Obj_Ptr -> __FILE_Obj_Ptr
%LCLop __ + __  :____void_Obj_Ptr_Obj_Ptr, int -> ____void_Obj_Ptr_Obj_Ptr
%LCLop __ + __  :int, ____void_Obj_Ptr_Obj_Ptr -> ____void_Obj_Ptr_Obj_Ptr
%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
%LCLop __ - __  :int, int -> int
%LCLop __ - __  :double, double -> double
%LCLop __ - __  :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
%LCLop __ - __  :__sstdlib0s_Struct_Ptr, __sstdlib0s_Struct_Ptr -> int
%LCLop __ - __  :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
%LCLop __ - __  :__sstdlib1s_Struct_Ptr, __sstdlib1s_Struct_Ptr -> int
%LCLop __ - __  :__void_Obj_Ptr, int -> __void_Obj_Ptr
%LCLop __ - __  :__void_Obj_Ptr, __void_Obj_Ptr -> int
%LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
%LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
%LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
%LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> int
%LCLop __ - __  :__FILE_Obj_Ptr, int -> __FILE_Obj_Ptr
%LCLop __ - __  :__FILE_Obj_Ptr, __FILE_Obj_Ptr -> int
%LCLop __ - __  :____void_Obj_Ptr_Obj_Ptr, int -> ____void_Obj_Ptr_Obj_Ptr
%LCLop __ - __  :____void_Obj_Ptr_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int
%LCLop sizeof :bool -> int
%LCLop sizeof :int -> int
%LCLop sizeof :char -> int
%LCLop sizeof :void -> int
%LCLop sizeof :float -> int
%LCLop sizeof :double -> int
%LCLop sizeof :FILE -> int
%LCLop isSub :_char_Vec, int -> bool
%LCLop isSub :__char_Obj_Arr, int -> bool
%LCLop isSub :__sstdlib0s_Struct_Tuple_Vec, int -> bool
%LCLop isSub :__sstdlib0s_Struct_Arr, int -> bool
%LCLop isSub :__sstdlib1s_Struct_Tuple_Vec, int -> bool
%LCLop isSub :__sstdlib1s_Struct_Arr, int -> bool
%LCLop isSub :_void_Vec, int -> bool
%LCLop isSub :__void_Obj_Arr, int -> bool
%LCLop isSub :_int_Vec, int -> bool
%LCLop isSub :__int_Obj_Arr, int -> bool
%LCLop isSub :___char_Obj_Ptr_Vec, int -> bool
%LCLop isSub :____char_Obj_Ptr_Obj_Arr, int -> bool
%LCLop isSub :_FILE_Vec, int -> bool
%LCLop isSub :__FILE_Obj_Arr, int -> bool
%LCLop isSub :___void_Obj_Ptr_Vec, int -> bool
%LCLop isSub :____void_Obj_Ptr_Obj_Arr, int -> bool
%LCLop succ :int -> int
%LCLop pred :int -> int
%LCLop abs :int -> int
%LCLop abs :double -> double
%LCLop div :int, int -> int
%LCLtype float float exposed
%LCLtype bool bool immutable
%LCLconst FALSE bool
%LCLconst TRUE bool
%LCLtype float float exposed
%LCLtype bool bool immutable
%LCLconst FALSE bool
%LCLconst TRUE bool
%LCLtype size_t _size_t exposed
%LCLtype wchar_t _wchar_t exposed
%LCLtype div_t _div_t exposed
%LCLtype ldiv_t _ldiv_t exposed
%LCLconst NULL __void_Obj_Ptr
%LCLconst EXIT_FAILURE int
%LCLconst EXIT_SUCCESS int
%LCLconst RAND_MAX int
%LCLconst MB_CUR_MAX int
%LCLfcn abort :  -> void 
%LCLfcnGlobals 
%LCLfcn abs : int -> int 
%LCLfcnGlobals 
%LCLfcn atexit : _HOF_sort_32 -> int 
%LCLfcnGlobals 
%LCLfcn atof : __char_Obj_Ptr -> double 
%LCLfcnGlobals 
%LCLfcn atoi : __char_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn atol : __char_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn bsearch : __void_Obj_Ptr, __void_Obj_Ptr, int, int, _HOF_sort_33 -> __void_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn calloc : int, int -> __void_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn div : int, int -> _sstdlib0s_Struct 
%LCLfcnGlobals 
%LCLfcn exit : int -> void 
%LCLfcnGlobals 
%LCLfcn free : __void_Obj_Ptr -> void 
%LCLfcnGlobals 
%LCLfcn getenv : __char_Obj_Ptr -> __char_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn labs : int -> int 
%LCLfcnGlobals 
%LCLfcn ldiv : int, int -> _sstdlib1s_Struct 
%LCLfcnGlobals 
%LCLfcn malloc : int -> __void_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn mblen : __char_Obj_Ptr, int -> int 
%LCLfcnGlobals 
%LCLfcn mbstowcs : __int_Obj_Ptr, __char_Obj_Ptr, int -> int 
%LCLfcnGlobals 
%LCLfcn mbtowc : __int_Obj_Ptr, __char_Obj_Ptr, int -> int 
%LCLfcnGlobals 
%LCLfcn qsort : __void_Obj_Ptr, int, int, _HOF_sort_37 -> void 
%LCLfcnGlobals 
%LCLfcn rand :  -> int 
%LCLfcnGlobals 
%LCLfcn realloc : __void_Obj_Ptr, int -> __void_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn srand : int -> void 
%LCLfcnGlobals 
%LCLfcn strtod : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> double 
%LCLfcnGlobals 
%LCLfcn strtol : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int 
%LCLfcnGlobals 
%LCLfcn strtoul : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int 
%LCLfcnGlobals 
%LCLfcn system : __char_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn wcstombs : __char_Obj_Ptr, __int_Obj_Ptr, int -> int 
%LCLfcnGlobals 
%LCLfcn wctomb : __char_Obj_Ptr, int -> int 
%LCLfcnGlobals 
%LCLfcn bcopy : __char_Obj_Ptr, __char_Obj_Ptr, int -> void 
%LCLfcnGlobals 
%LCLfcn bcmp : __char_Obj_Ptr, __char_Obj_Ptr, int -> bool 
%LCLfcnGlobals 
%LCLfcn bzero : __char_Obj_Ptr, int -> void 
%LCLfcnGlobals 
%LCLfcn ffs : int -> int 
%LCLfcnGlobals 
%LCLfcn memccpy : __void_Obj_Ptr, __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn memchr : __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn memcmp : __void_Obj_Ptr, __void_Obj_Ptr, int -> bool 
%LCLfcnGlobals 
%LCLfcn memcpy : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn memset : __void_Obj_Ptr, int, int -> __void_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn memmove : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr 
%LCLfcnGlobals 
%LCLtype FILE FILE immutable
%LCLtype va_list _va_list exposed
%LCLtype fpos_t _fpos_t exposed
%LCLvar stdin ___FILE_Obj_Ptr_Obj
%LCLvar stdout ___FILE_Obj_Ptr_Obj
%LCLvar stderr ___FILE_Obj_Ptr_Obj
%LCLconst EOF int
%LCLfcn getc : __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn getchar :  -> int 
%LCLfcnGlobals 
%LCLfcn putc : int, __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn putchar : int -> int 
%LCLfcnGlobals 
%LCLfcn feof : __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn ferror : __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn fileno : __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn _filbuf : __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn _flsbuf : char, __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn clearerr : __FILE_Obj_Ptr -> void 
%LCLfcnGlobals 
%LCLfcn fclose : __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn fdopen : int, __char_Obj_Ptr -> __FILE_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn fflush : __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn fgetc : __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn fgetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn fgets : __char_Obj_Ptr, int, __FILE_Obj_Ptr -> __char_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn fopen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn fprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn sprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn fputc : int, __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn fputs : __char_Obj_Ptr, __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn fread : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn freopen : __char_Obj_Ptr, __char_Obj_Ptr, __FILE_Obj_Ptr -> __FILE_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn fscanf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn fseek : __FILE_Obj_Ptr, int, int -> int 
%LCLfcnGlobals 
%LCLfcn fsetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn ftell : __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn fwrite : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn gets : __char_Obj_Ptr -> __char_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn perror : __char_Obj_Ptr -> void 
%LCLfcnGlobals 
%LCLfcn popen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn ungetc : char, __FILE_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn printf : __char_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn puts : __char_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn remove : __char_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn rename : __char_Obj_Ptr, __char_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn rewind : __FILE_Obj_Ptr -> void 
%LCLfcnGlobals 
%LCLfcn scanf : __char_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn setbuf : __FILE_Obj_Ptr, __char_Obj_Ptr -> void 
%LCLfcnGlobals 
%LCLfcn setvbuf : __FILE_Obj_Ptr, __char_Obj_Ptr, int, int -> int 
%LCLfcnGlobals 
%LCLfcn sscanf : __char_Obj_Ptr, __char_Obj_Ptr -> int 
%LCLfcnGlobals 
%LCLfcn tmpfile :  -> __FILE_Obj_Ptr 
%LCLfcnGlobals 
%LCLfcn tmpnam : __char_Obj_Ptr -> __char_Obj_Ptr 
%LCLfcnGlobals 
%LCLSymbolTableEnd
Commit	Line	Data
885824d3	1	%PASSED Output from LCLint 2.0
	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 quot strMem _int_Obj nil
	19	%LCLsort rem 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 quot strMem _int_Obj nil
	29	%LCLsort rem 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	%LCLSortTableEnd
	63	%LCLSymbolTable
	64	%LCLop mod :int, int -> int
65	%LCLop min :int, int -> int
66	%LCLop max :int, int -> int
67	%LCLop 0 : -> int
68	%LCLop 0 : -> double
69	%LCLop 1 : -> int
70	%LCLop 1 : -> double
71	%LCLop if __ then __ else __ :bool, bool, bool -> bool
72	%LCLop if __ then __ else __ :bool, int, int -> int
73	%LCLop if __ then __ else __ :bool, double, double -> double
74	%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
75	%LCLop if __ then __ else __ :bool, char, char -> char
76	%LCLop __ < __ :int, int -> bool
77	%LCLop __ < __ :double, double -> bool
78	%LCLop empty : -> _char_Vec
79	%LCLop __ > __ :int, int -> bool
80	%LCLop __ > __ :double, double -> bool
81	%LCLop count :char, _char_Vec -> int
82	%LCLop head :_char_Vec -> char
83	%LCLop __ \inv :double -> double
84	%LCLop init :_char_Vec -> _char_Vec
85	%LCLop isEmpty :_char_Vec -> bool
86	%LCLop last :_char_Vec -> char
87	%LCLop len :_char_Vec -> int
88	%LCLop __ \implies __ :bool, bool -> bool
89	%LCLop prefix :_char_Vec, int -> _char_Vec
90	%LCLop __ / __ :double, double -> double
91	%LCLop removePrefix :_char_Vec, int -> _char_Vec
92	%LCLop substring :_char_Vec, int, int -> _char_Vec
93	%LCLop __ \|\| __ :_char_Vec, _char_Vec -> _char_Vec
94	%LCLop tail :_char_Vec -> _char_Vec
95	%LCLop __ \in __ :char, _char_Vec -> bool
96	%LCLop nullTerminated :_char_Vec -> bool
97	%LCLop throughNull :_char_Vec -> _char_Vec
98	%LCLop sameStr :_char_Vec, _char_Vec -> bool
99	%LCLop lenStr :_char_Vec -> int
100	%LCLop times10plus :int, int -> int
101	%LCLop plus1 :int -> int
102	%LCLop 2 : -> int
103	%LCLop 3 : -> int
104	%LCLop 4 : -> int
105	%LCLop 5 : -> int
106	%LCLop 6 : -> int
107	%LCLop 7 : -> int
108	%LCLop 8 : -> int
109	%LCLop 9 : -> int
110	%LCLtag sstdlib0s struct
111	%LCLop __ * __ :int, int -> int
112	%LCLop __ * __ :double, double -> double
113	%LCLop true : -> bool
114	%LCLop false : -> bool
115	%LCLop __ \and __ :bool, bool -> bool
116	%LCLop __ \or __ :bool, bool -> bool
117	%LCLop __ \eq __ :bool, bool -> bool
118	%LCLop __ \eq __ :int, int -> bool
119	%LCLop __ \eq __ :double, double -> bool
120	%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
121	%LCLop __ \eq __ :char, char -> bool
122	%LCLop \not __ :bool -> bool
123	%LCLtag sstdlib1s struct
124	%LCLop __ \neq __ :bool, bool -> bool
125	%LCLop __ \neq __ :int, int -> bool
126	%LCLop __ \neq __ :double, double -> bool
127	%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
128	%LCLop __ \neq __ :char, char -> bool
129	%LCLop { __ } :char -> _char_Vec
130	%LCLop [__, __] :int, int -> _sstdlib0s_Struct_Tuple
131	%LCLop [__, __] :int, int -> _sstdlib1s_Struct_Tuple
132	%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
133	%LCLop __ [] :__sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Arr
134	%LCLop __ [] :__sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Arr
135	%LCLop __ [] :__void_Obj_Ptr -> __void_Obj_Arr
136	%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
137	%LCLop __ [] :____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Arr
138	%LCLop __ [] :__FILE_Obj_Ptr -> __FILE_Obj_Arr
139	%LCLop __ [] :____void_Obj_Ptr_Obj_Ptr -> ____void_Obj_Ptr_Obj_Arr
140	%LCLop __ [__] :_char_Vec, int -> char
141	%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
142	%LCLop __ [__] :__sstdlib0s_Struct_Tuple_Vec, int -> _sstdlib0s_Struct_Tuple
143	%LCLop __ [__] :__sstdlib0s_Struct_Arr, int -> _sstdlib0s_Struct
144	%LCLop __ [__] :__sstdlib1s_Struct_Tuple_Vec, int -> _sstdlib1s_Struct_Tuple
145	%LCLop __ [__] :__sstdlib1s_Struct_Arr, int -> _sstdlib1s_Struct
146	%LCLop __ [__] :_void_Vec, int -> void
147	%LCLop __ [__] :__void_Obj_Arr, int -> _void_Obj
148	%LCLop __ [__] :_int_Vec, int -> int
149	%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
150	%LCLop __ [__] :___char_Obj_Ptr_Vec, int -> __char_Obj_Ptr
151	%LCLop __ [__] :____char_Obj_Ptr_Obj_Arr, int -> ___char_Obj_Ptr_Obj
152	%LCLop __ [__] :_FILE_Vec, int -> FILE
153	%LCLop __ [__] :__FILE_Obj_Arr, int -> _FILE_Obj
154	%LCLop __ [__] :___void_Obj_Ptr_Vec, int -> __void_Obj_Ptr
155	%LCLop __ [__] :____void_Obj_Ptr_Obj_Arr, int -> ___void_Obj_Ptr_Obj
156	%LCLop __ \|- __ :_char_Vec, char -> _char_Vec
157	%LCLop __ -\| __ :char, _char_Vec -> _char_Vec
158	%LCLop __ \select rem :_sstdlib0s_Struct_Tuple -> int
159	%LCLop __ \select rem :_sstdlib0s_Struct -> _int_Obj
160	%LCLop __ \select rem :_sstdlib1s_Struct_Tuple -> int
161	%LCLop __ \select rem :_sstdlib1s_Struct -> _int_Obj
162	%LCLop __ \field_arrow rem :__sstdlib0s_Struct_Ptr -> _int_Obj
163	%LCLop __ \field_arrow rem :__sstdlib1s_Struct_Ptr -> _int_Obj
164	%LCLop __ \select quot :_sstdlib0s_Struct_Tuple -> int
165	%LCLop __ \select quot :_sstdlib0s_Struct -> _int_Obj
166	%LCLop __ \select quot :_sstdlib1s_Struct_Tuple -> int
167	%LCLop __ \select quot :_sstdlib1s_Struct -> _int_Obj
168	%LCLop __ \leq __ :int, int -> bool
169	%LCLop __ \leq __ :double, double -> bool
170	%LCLop __ \field_arrow quot :__sstdlib0s_Struct_Ptr -> _int_Obj
171	%LCLop __ \field_arrow quot :__sstdlib1s_Struct_Ptr -> _int_Obj
172	%LCLop __ \geq __ :int, int -> bool
173	%LCLop __ \geq __ :double, double -> bool
174	%LCLop null : -> char
175	%LCLop NIL : -> __char_Obj_Ptr
176	%LCLop NIL : -> __sstdlib0s_Struct_Ptr
177	%LCLop NIL : -> __sstdlib1s_Struct_Ptr
178	%LCLop NIL : -> __void_Obj_Ptr
179	%LCLop NIL : -> __int_Obj_Ptr
180	%LCLop NIL : -> ____char_Obj_Ptr_Obj_Ptr
181	%LCLop NIL : -> __FILE_Obj_Ptr
182	%LCLop NIL : -> ____void_Obj_Ptr_Obj_Ptr
183	%LCLop - __ :int -> int
184	%LCLop - __ :double -> double
185	%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
186	%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
187	%LCLop __ + __ :int, int -> int
188	%LCLop __ + __ :double, double -> double
189	%LCLop __ + __ :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
190	%LCLop __ + __ :int, __sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Ptr
191	%LCLop __ + __ :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
192	%LCLop __ + __ :int, __sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Ptr
193	%LCLop __ + __ :__void_Obj_Ptr, int -> __void_Obj_Ptr
194	%LCLop __ + __ :int, __void_Obj_Ptr -> __void_Obj_Ptr
195	%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
196	%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr
197	%LCLop __ + __ :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
198	%LCLop __ + __ :int, ____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Ptr
199	%LCLop __ + __ :__FILE_Obj_Ptr, int -> __FILE_Obj_Ptr
200	%LCLop __ + __ :int, __FILE_Obj_Ptr -> __FILE_Obj_Ptr
201	%LCLop __ + __ :____void_Obj_Ptr_Obj_Ptr, int -> ____void_Obj_Ptr_Obj_Ptr
202	%LCLop __ + __ :int, ____void_Obj_Ptr_Obj_Ptr -> ____void_Obj_Ptr_Obj_Ptr
203	%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
204	%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
205	%LCLop __ - __ :int, int -> int
206	%LCLop __ - __ :double, double -> double
207	%LCLop __ - __ :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
208	%LCLop __ - __ :__sstdlib0s_Struct_Ptr, __sstdlib0s_Struct_Ptr -> int
209	%LCLop __ - __ :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
210	%LCLop __ - __ :__sstdlib1s_Struct_Ptr, __sstdlib1s_Struct_Ptr -> int
211	%LCLop __ - __ :__void_Obj_Ptr, int -> __void_Obj_Ptr
212	%LCLop __ - __ :__void_Obj_Ptr, __void_Obj_Ptr -> int
213	%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
214	%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int
215	%LCLop __ - __ :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
216	%LCLop __ - __ :____char_Obj_Ptr_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> int
217	%LCLop __ - __ :__FILE_Obj_Ptr, int -> __FILE_Obj_Ptr
218	%LCLop __ - __ :__FILE_Obj_Ptr, __FILE_Obj_Ptr -> int
219	%LCLop __ - __ :____void_Obj_Ptr_Obj_Ptr, int -> ____void_Obj_Ptr_Obj_Ptr
220	%LCLop __ - __ :____void_Obj_Ptr_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int
221	%LCLop sizeof :bool -> int
222	%LCLop sizeof :int -> int
223	%LCLop sizeof :char -> int
224	%LCLop sizeof :void -> int
225	%LCLop sizeof :float -> int
226	%LCLop sizeof :double -> int
227	%LCLop sizeof :FILE -> int
228	%LCLop isSub :_char_Vec, int -> bool
229	%LCLop isSub :__char_Obj_Arr, int -> bool
230	%LCLop isSub :__sstdlib0s_Struct_Tuple_Vec, int -> bool
231	%LCLop isSub :__sstdlib0s_Struct_Arr, int -> bool
232	%LCLop isSub :__sstdlib1s_Struct_Tuple_Vec, int -> bool
233	%LCLop isSub :__sstdlib1s_Struct_Arr, int -> bool
234	%LCLop isSub :_void_Vec, int -> bool
235	%LCLop isSub :__void_Obj_Arr, int -> bool
236	%LCLop isSub :_int_Vec, int -> bool
237	%LCLop isSub :__int_Obj_Arr, int -> bool
238	%LCLop isSub :___char_Obj_Ptr_Vec, int -> bool
239	%LCLop isSub :____char_Obj_Ptr_Obj_Arr, int -> bool
240	%LCLop isSub :_FILE_Vec, int -> bool
241	%LCLop isSub :__FILE_Obj_Arr, int -> bool
242	%LCLop isSub :___void_Obj_Ptr_Vec, int -> bool
243	%LCLop isSub :____void_Obj_Ptr_Obj_Arr, int -> bool
244	%LCLop succ :int -> int
245	%LCLop pred :int -> int
246	%LCLop abs :int -> int
247	%LCLop abs :double -> double
248	%LCLop div :int, int -> int
249	%LCLtype float float exposed
250	%LCLtype bool bool immutable
251	%LCLconst FALSE bool
252	%LCLconst TRUE bool
253	%LCLtype float float exposed
254	%LCLtype bool bool immutable
255	%LCLconst FALSE bool
256	%LCLconst TRUE bool
257	%LCLtype size_t _size_t exposed
258	%LCLtype wchar_t _wchar_t exposed
259	%LCLtype div_t _div_t exposed
260	%LCLtype ldiv_t _ldiv_t exposed
261	%LCLconst NULL __void_Obj_Ptr
262	%LCLconst EXIT_FAILURE int
263	%LCLconst EXIT_SUCCESS int
264	%LCLconst RAND_MAX int
265	%LCLconst MB_CUR_MAX int
266	%LCLfcn abort : -> void
267	%LCLfcnGlobals
268	%LCLfcn abs : int -> int
269	%LCLfcnGlobals
270	%LCLfcn atexit : _HOF_sort_32 -> int
271	%LCLfcnGlobals
272	%LCLfcn atof : __char_Obj_Ptr -> double
273	%LCLfcnGlobals
274	%LCLfcn atoi : __char_Obj_Ptr -> int
275	%LCLfcnGlobals
276	%LCLfcn atol : __char_Obj_Ptr -> int
277	%LCLfcnGlobals
278	%LCLfcn bsearch : __void_Obj_Ptr, __void_Obj_Ptr, int, int, _HOF_sort_33 -> __void_Obj_Ptr
279	%LCLfcnGlobals
280	%LCLfcn calloc : int, int -> __void_Obj_Ptr
281	%LCLfcnGlobals
282	%LCLfcn div : int, int -> _sstdlib0s_Struct
283	%LCLfcnGlobals
284	%LCLfcn exit : int -> void
285	%LCLfcnGlobals
286	%LCLfcn free : __void_Obj_Ptr -> void
287	%LCLfcnGlobals
288	%LCLfcn getenv : __char_Obj_Ptr -> __char_Obj_Ptr
289	%LCLfcnGlobals
290	%LCLfcn labs : int -> int
291	%LCLfcnGlobals
292	%LCLfcn ldiv : int, int -> _sstdlib1s_Struct
293	%LCLfcnGlobals
294	%LCLfcn malloc : int -> __void_Obj_Ptr
295	%LCLfcnGlobals
296	%LCLfcn mblen : __char_Obj_Ptr, int -> int
297	%LCLfcnGlobals
298	%LCLfcn mbstowcs : __int_Obj_Ptr, __char_Obj_Ptr, int -> int
299	%LCLfcnGlobals
300	%LCLfcn mbtowc : __int_Obj_Ptr, __char_Obj_Ptr, int -> int
301	%LCLfcnGlobals
302	%LCLfcn qsort : __void_Obj_Ptr, int, int, _HOF_sort_37 -> void
303	%LCLfcnGlobals
304	%LCLfcn rand : -> int
305	%LCLfcnGlobals
306	%LCLfcn realloc : __void_Obj_Ptr, int -> __void_Obj_Ptr
307	%LCLfcnGlobals
308	%LCLfcn srand : int -> void
309	%LCLfcnGlobals
310	%LCLfcn strtod : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> double
311	%LCLfcnGlobals
312	%LCLfcn strtol : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int
313	%LCLfcnGlobals
314	%LCLfcn strtoul : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int
315	%LCLfcnGlobals
316	%LCLfcn system : __char_Obj_Ptr -> int
317	%LCLfcnGlobals
318	%LCLfcn wcstombs : __char_Obj_Ptr, __int_Obj_Ptr, int -> int
319	%LCLfcnGlobals
320	%LCLfcn wctomb : __char_Obj_Ptr, int -> int
321	%LCLfcnGlobals
322	%LCLfcn bcopy : __char_Obj_Ptr, __char_Obj_Ptr, int -> void
323	%LCLfcnGlobals
324	%LCLfcn bcmp : __char_Obj_Ptr, __char_Obj_Ptr, int -> bool
325	%LCLfcnGlobals
326	%LCLfcn bzero : __char_Obj_Ptr, int -> void
327	%LCLfcnGlobals
328	%LCLfcn ffs : int -> int
329	%LCLfcnGlobals
330	%LCLfcn memccpy : __void_Obj_Ptr, __void_Obj_Ptr, int, int -> __void_Obj_Ptr
331	%LCLfcnGlobals
332	%LCLfcn memchr : __void_Obj_Ptr, int, int -> __void_Obj_Ptr
333	%LCLfcnGlobals
334	%LCLfcn memcmp : __void_Obj_Ptr, __void_Obj_Ptr, int -> bool
335	%LCLfcnGlobals
336	%LCLfcn memcpy : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr
337	%LCLfcnGlobals
338	%LCLfcn memset : __void_Obj_Ptr, int, int -> __void_Obj_Ptr
339	%LCLfcnGlobals
340	%LCLfcn memmove : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr
341	%LCLfcnGlobals
342	%LCLtype FILE FILE immutable
343	%LCLtype va_list _va_list exposed
344	%LCLtype fpos_t _fpos_t exposed
345	%LCLvar stdin ___FILE_Obj_Ptr_Obj
346	%LCLvar stdout ___FILE_Obj_Ptr_Obj
347	%LCLvar stderr ___FILE_Obj_Ptr_Obj
348	%LCLconst EOF int
349	%LCLfcn getc : __FILE_Obj_Ptr -> int
350	%LCLfcnGlobals
351	%LCLfcn getchar : -> int
352	%LCLfcnGlobals
353	%LCLfcn putc : int, __FILE_Obj_Ptr -> int
354	%LCLfcnGlobals
355	%LCLfcn putchar : int -> int
356	%LCLfcnGlobals
357	%LCLfcn feof : __FILE_Obj_Ptr -> int
358	%LCLfcnGlobals
359	%LCLfcn ferror : __FILE_Obj_Ptr -> int
360	%LCLfcnGlobals
361	%LCLfcn fileno : __FILE_Obj_Ptr -> int
362	%LCLfcnGlobals
363	%LCLfcn _filbuf : __FILE_Obj_Ptr -> int
364	%LCLfcnGlobals
365	%LCLfcn _flsbuf : char, __FILE_Obj_Ptr -> int
366	%LCLfcnGlobals
367	%LCLfcn clearerr : __FILE_Obj_Ptr -> void
368	%LCLfcnGlobals
369	%LCLfcn fclose : __FILE_Obj_Ptr -> int
370	%LCLfcnGlobals
371	%LCLfcn fdopen : int, __char_Obj_Ptr -> __FILE_Obj_Ptr
372	%LCLfcnGlobals
373	%LCLfcn fflush : __FILE_Obj_Ptr -> int
374	%LCLfcnGlobals
375	%LCLfcn fgetc : __FILE_Obj_Ptr -> int
376	%LCLfcnGlobals
377	%LCLfcn fgetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int
378	%LCLfcnGlobals
379	%LCLfcn fgets : __char_Obj_Ptr, int, __FILE_Obj_Ptr -> __char_Obj_Ptr
380	%LCLfcnGlobals
381	%LCLfcn fopen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr
382	%LCLfcnGlobals
383	%LCLfcn fprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int
384	%LCLfcnGlobals
385	%LCLfcn sprintf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int
386	%LCLfcnGlobals
387	%LCLfcn fputc : int, __FILE_Obj_Ptr -> int
388	%LCLfcnGlobals
389	%LCLfcn fputs : __char_Obj_Ptr, __FILE_Obj_Ptr -> int
390	%LCLfcnGlobals
391	%LCLfcn fread : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int
392	%LCLfcnGlobals
393	%LCLfcn freopen : __char_Obj_Ptr, __char_Obj_Ptr, __FILE_Obj_Ptr -> __FILE_Obj_Ptr
394	%LCLfcnGlobals
395	%LCLfcn fscanf : __FILE_Obj_Ptr, __char_Obj_Ptr -> int
396	%LCLfcnGlobals
397	%LCLfcn fseek : __FILE_Obj_Ptr, int, int -> int
398	%LCLfcnGlobals
399	%LCLfcn fsetpos : __FILE_Obj_Ptr, ____void_Obj_Ptr_Obj_Ptr -> int
400	%LCLfcnGlobals
401	%LCLfcn ftell : __FILE_Obj_Ptr -> int
402	%LCLfcnGlobals
403	%LCLfcn fwrite : __void_Obj_Ptr, int, int, __FILE_Obj_Ptr -> int
404	%LCLfcnGlobals
405	%LCLfcn gets : __char_Obj_Ptr -> __char_Obj_Ptr
406	%LCLfcnGlobals
407	%LCLfcn perror : __char_Obj_Ptr -> void
408	%LCLfcnGlobals
409	%LCLfcn popen : __char_Obj_Ptr, __char_Obj_Ptr -> __FILE_Obj_Ptr
410	%LCLfcnGlobals
411	%LCLfcn ungetc : char, __FILE_Obj_Ptr -> int
412	%LCLfcnGlobals
413	%LCLfcn printf : __char_Obj_Ptr -> int
414	%LCLfcnGlobals
415	%LCLfcn puts : __char_Obj_Ptr -> int
416	%LCLfcnGlobals
417	%LCLfcn remove : __char_Obj_Ptr -> int
418	%LCLfcnGlobals
419	%LCLfcn rename : __char_Obj_Ptr, __char_Obj_Ptr -> int
420	%LCLfcnGlobals
421	%LCLfcn rewind : __FILE_Obj_Ptr -> void
422	%LCLfcnGlobals
423	%LCLfcn scanf : __char_Obj_Ptr -> int
424	%LCLfcnGlobals
425	%LCLfcn setbuf : __FILE_Obj_Ptr, __char_Obj_Ptr -> void
426	%LCLfcnGlobals
427	%LCLfcn setvbuf : __FILE_Obj_Ptr, __char_Obj_Ptr, int, int -> int
428	%LCLfcnGlobals
429	%LCLfcn sscanf : __char_Obj_Ptr, __char_Obj_Ptr -> int
430	%LCLfcnGlobals
431	%LCLfcn tmpfile : -> __FILE_Obj_Ptr
432	%LCLfcnGlobals
433	%LCLfcn tmpnam : __char_Obj_Ptr -> __char_Obj_Ptr
434	%LCLfcnGlobals
435	%LCLSymbolTableEnd