[splint.git] / imports / stdlib.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 rem strMem _int_Obj nil
%LCLsort quot 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 rem strMem _int_Obj nil
%LCLsort quot 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
%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
%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
%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 __ [__] :_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 __ |- __  :_char_Vec, char -> _char_Vec
%LCLop __ -| __  :char, _char_Vec -> _char_Vec
%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 __ \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 quot :__sstdlib0s_Struct_Ptr -> _int_Obj
%LCLop __ \field_arrow quot :__sstdlib1s_Struct_Ptr -> _int_Obj
%LCLop __ \field_arrow rem :__sstdlib0s_Struct_Ptr -> _int_Obj
%LCLop __ \field_arrow rem :__sstdlib1s_Struct_Ptr -> _int_Obj
%LCLop __ \leq __  :int, int -> bool
%LCLop __ \leq __  :double, double -> bool
%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 - __  :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 __ - __  :__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 sizeof :bool -> int
%LCLop sizeof :int -> int
%LCLop sizeof :char -> int
%LCLop sizeof :void -> int
%LCLop sizeof :float -> int
%LCLop sizeof :double -> 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 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 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 
%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 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	%LCLSortTableEnd
	51	%LCLSymbolTable
	52	%LCLop mod :int, int -> int
	53	%LCLop min :int, int -> int
	54	%LCLop max :int, int -> int
	55	%LCLop 0 : -> int
	56	%LCLop 0 : -> double
	57	%LCLop 1 : -> int
	58	%LCLop 1 : -> double
	59	%LCLop if __ then __ else __ :bool, bool, bool -> bool
	60	%LCLop if __ then __ else __ :bool, int, int -> int
	61	%LCLop if __ then __ else __ :bool, double, double -> double
	62	%LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
	63	%LCLop if __ then __ else __ :bool, char, char -> char
	64	%LCLop __ < __ :int, int -> bool
65	%LCLop __ < __ :double, double -> bool
66	%LCLop empty : -> _char_Vec
67	%LCLop __ > __ :int, int -> bool
68	%LCLop __ > __ :double, double -> bool
69	%LCLop count :char, _char_Vec -> int
70	%LCLop head :_char_Vec -> char
71	%LCLop __ \inv :double -> double
72	%LCLop init :_char_Vec -> _char_Vec
73	%LCLop isEmpty :_char_Vec -> bool
74	%LCLop last :_char_Vec -> char
75	%LCLop len :_char_Vec -> int
76	%LCLop __ \implies __ :bool, bool -> bool
77	%LCLop prefix :_char_Vec, int -> _char_Vec
78	%LCLop __ / __ :double, double -> double
79	%LCLop removePrefix :_char_Vec, int -> _char_Vec
80	%LCLop substring :_char_Vec, int, int -> _char_Vec
81	%LCLop __ \|\| __ :_char_Vec, _char_Vec -> _char_Vec
82	%LCLop tail :_char_Vec -> _char_Vec
83	%LCLop __ \in __ :char, _char_Vec -> bool
84	%LCLop nullTerminated :_char_Vec -> bool
85	%LCLop throughNull :_char_Vec -> _char_Vec
86	%LCLop sameStr :_char_Vec, _char_Vec -> bool
87	%LCLop lenStr :_char_Vec -> int
88	%LCLop times10plus :int, int -> int
89	%LCLop plus1 :int -> int
90	%LCLop 2 : -> int
91	%LCLop 3 : -> int
92	%LCLop 4 : -> int
93	%LCLop 5 : -> int
94	%LCLop 6 : -> int
95	%LCLop 7 : -> int
96	%LCLop 8 : -> int
97	%LCLop 9 : -> int
98	%LCLop __ * __ :int, int -> int
99	%LCLop __ * __ :double, double -> double
100	%LCLop true : -> bool
101	%LCLop false : -> bool
102	%LCLop __ \and __ :bool, bool -> bool
103	%LCLop __ \or __ :bool, bool -> bool
104	%LCLop __ \eq __ :bool, bool -> bool
105	%LCLop __ \eq __ :int, int -> bool
106	%LCLop __ \eq __ :double, double -> bool
107	%LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
108	%LCLop __ \eq __ :char, char -> bool
109	%LCLop \not __ :bool -> bool
110	%LCLop __ \neq __ :bool, bool -> bool
111	%LCLop __ \neq __ :int, int -> bool
112	%LCLop __ \neq __ :double, double -> bool
113	%LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
114	%LCLop __ \neq __ :char, char -> bool
115	%LCLop { __ } :char -> _char_Vec
116	%LCLop [__, __] :int, int -> _sstdlib0s_Struct_Tuple
117	%LCLop [__, __] :int, int -> _sstdlib1s_Struct_Tuple
118	%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
119	%LCLop __ [] :__sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Arr
120	%LCLop __ [] :__sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Arr
121	%LCLop __ [] :__void_Obj_Ptr -> __void_Obj_Arr
122	%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
123	%LCLop __ [] :____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Arr
124	%LCLop __ [__] :_char_Vec, int -> char
125	%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
126	%LCLop __ [__] :__sstdlib0s_Struct_Tuple_Vec, int -> _sstdlib0s_Struct_Tuple
127	%LCLop __ [__] :__sstdlib0s_Struct_Arr, int -> _sstdlib0s_Struct
128	%LCLop __ [__] :__sstdlib1s_Struct_Tuple_Vec, int -> _sstdlib1s_Struct_Tuple
129	%LCLop __ [__] :__sstdlib1s_Struct_Arr, int -> _sstdlib1s_Struct
130	%LCLop __ [__] :_void_Vec, int -> void
131	%LCLop __ [__] :__void_Obj_Arr, int -> _void_Obj
132	%LCLop __ [__] :_int_Vec, int -> int
133	%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
134	%LCLop __ [__] :___char_Obj_Ptr_Vec, int -> __char_Obj_Ptr
135	%LCLop __ [__] :____char_Obj_Ptr_Obj_Arr, int -> ___char_Obj_Ptr_Obj
136	%LCLop __ \|- __ :_char_Vec, char -> _char_Vec
137	%LCLop __ -\| __ :char, _char_Vec -> _char_Vec
138	%LCLop __ \select quot :_sstdlib0s_Struct_Tuple -> int
139	%LCLop __ \select quot :_sstdlib0s_Struct -> _int_Obj
140	%LCLop __ \select quot :_sstdlib1s_Struct_Tuple -> int
141	%LCLop __ \select quot :_sstdlib1s_Struct -> _int_Obj
142	%LCLop __ \select rem :_sstdlib0s_Struct_Tuple -> int
143	%LCLop __ \select rem :_sstdlib0s_Struct -> _int_Obj
144	%LCLop __ \select rem :_sstdlib1s_Struct_Tuple -> int
145	%LCLop __ \select rem :_sstdlib1s_Struct -> _int_Obj
146	%LCLop __ \field_arrow quot :__sstdlib0s_Struct_Ptr -> _int_Obj
147	%LCLop __ \field_arrow quot :__sstdlib1s_Struct_Ptr -> _int_Obj
148	%LCLop __ \field_arrow rem :__sstdlib0s_Struct_Ptr -> _int_Obj
149	%LCLop __ \field_arrow rem :__sstdlib1s_Struct_Ptr -> _int_Obj
150	%LCLop __ \leq __ :int, int -> bool
151	%LCLop __ \leq __ :double, double -> bool
152	%LCLop __ \geq __ :int, int -> bool
153	%LCLop __ \geq __ :double, double -> bool
154	%LCLop null : -> char
155	%LCLop NIL : -> __char_Obj_Ptr
156	%LCLop NIL : -> __sstdlib0s_Struct_Ptr
157	%LCLop NIL : -> __sstdlib1s_Struct_Ptr
158	%LCLop NIL : -> __void_Obj_Ptr
159	%LCLop NIL : -> __int_Obj_Ptr
160	%LCLop NIL : -> ____char_Obj_Ptr_Obj_Ptr
161	%LCLop - __ :int -> int
162	%LCLop - __ :double -> double
163	%LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
164	%LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
165	%LCLop __ + __ :int, int -> int
166	%LCLop __ + __ :double, double -> double
167	%LCLop __ + __ :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
168	%LCLop __ + __ :int, __sstdlib0s_Struct_Ptr -> __sstdlib0s_Struct_Ptr
169	%LCLop __ + __ :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
170	%LCLop __ + __ :int, __sstdlib1s_Struct_Ptr -> __sstdlib1s_Struct_Ptr
171	%LCLop __ + __ :__void_Obj_Ptr, int -> __void_Obj_Ptr
172	%LCLop __ + __ :int, __void_Obj_Ptr -> __void_Obj_Ptr
173	%LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
174	%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr
175	%LCLop __ + __ :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
176	%LCLop __ + __ :int, ____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Ptr
177	%LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
178	%LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
179	%LCLop __ - __ :int, int -> int
180	%LCLop __ - __ :double, double -> double
181	%LCLop __ - __ :__sstdlib0s_Struct_Ptr, int -> __sstdlib0s_Struct_Ptr
182	%LCLop __ - __ :__sstdlib0s_Struct_Ptr, __sstdlib0s_Struct_Ptr -> int
183	%LCLop __ - __ :__sstdlib1s_Struct_Ptr, int -> __sstdlib1s_Struct_Ptr
184	%LCLop __ - __ :__sstdlib1s_Struct_Ptr, __sstdlib1s_Struct_Ptr -> int
185	%LCLop __ - __ :__void_Obj_Ptr, int -> __void_Obj_Ptr
186	%LCLop __ - __ :__void_Obj_Ptr, __void_Obj_Ptr -> int
187	%LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
188	%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int
189	%LCLop __ - __ :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
190	%LCLop __ - __ :____char_Obj_Ptr_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> int
191	%LCLop sizeof :bool -> int
192	%LCLop sizeof :int -> int
193	%LCLop sizeof :char -> int
194	%LCLop sizeof :void -> int
195	%LCLop sizeof :float -> int
196	%LCLop sizeof :double -> int
197	%LCLop isSub :_char_Vec, int -> bool
198	%LCLop isSub :__char_Obj_Arr, int -> bool
199	%LCLop isSub :__sstdlib0s_Struct_Tuple_Vec, int -> bool
200	%LCLop isSub :__sstdlib0s_Struct_Arr, int -> bool
201	%LCLop isSub :__sstdlib1s_Struct_Tuple_Vec, int -> bool
202	%LCLop isSub :__sstdlib1s_Struct_Arr, int -> bool
203	%LCLop isSub :_void_Vec, int -> bool
204	%LCLop isSub :__void_Obj_Arr, int -> bool
205	%LCLop isSub :_int_Vec, int -> bool
206	%LCLop isSub :__int_Obj_Arr, int -> bool
207	%LCLop isSub :___char_Obj_Ptr_Vec, int -> bool
208	%LCLop isSub :____char_Obj_Ptr_Obj_Arr, int -> bool
209	%LCLop succ :int -> int
210	%LCLop pred :int -> int
211	%LCLop abs :int -> int
212	%LCLop abs :double -> double
213	%LCLop div :int, int -> int
214	%LCLtype float float exposed
215	%LCLtype bool bool immutable
216	%LCLconst FALSE bool
217	%LCLconst TRUE bool
218	%LCLtype size_t _size_t exposed
219	%LCLtype wchar_t _wchar_t exposed
220	%LCLtype div_t _div_t exposed
221	%LCLtype ldiv_t _ldiv_t exposed
222	%LCLconst NULL __void_Obj_Ptr
223	%LCLconst EXIT_FAILURE int
224	%LCLconst EXIT_SUCCESS int
225	%LCLconst RAND_MAX int
226	%LCLconst MB_CUR_MAX int
227	%LCLfcn abort : -> void
228	%LCLfcnGlobals
229	%LCLfcn abs : int -> int
230	%LCLfcnGlobals
231	%LCLfcn atexit : _HOF_sort_32 -> int
232	%LCLfcnGlobals
233	%LCLfcn atof : __char_Obj_Ptr -> double
234	%LCLfcnGlobals
235	%LCLfcn atoi : __char_Obj_Ptr -> int
236	%LCLfcnGlobals
237	%LCLfcn atol : __char_Obj_Ptr -> int
238	%LCLfcnGlobals
239	%LCLfcn bsearch : __void_Obj_Ptr, __void_Obj_Ptr, int, int, _HOF_sort_33 -> __void_Obj_Ptr
240	%LCLfcnGlobals
241	%LCLfcn calloc : int, int -> __void_Obj_Ptr
242	%LCLfcnGlobals
243	%LCLfcn div : int, int -> _sstdlib0s_Struct
244	%LCLfcnGlobals
245	%LCLfcn exit : int -> void
246	%LCLfcnGlobals
247	%LCLfcn free : __void_Obj_Ptr -> void
248	%LCLfcnGlobals
249	%LCLfcn getenv : __char_Obj_Ptr -> __char_Obj_Ptr
250	%LCLfcnGlobals
251	%LCLfcn labs : int -> int
252	%LCLfcnGlobals
253	%LCLfcn ldiv : int, int -> _sstdlib1s_Struct
254	%LCLfcnGlobals
255	%LCLfcn malloc : int -> __void_Obj_Ptr
256	%LCLfcnGlobals
257	%LCLfcn mblen : __char_Obj_Ptr, int -> int
258	%LCLfcnGlobals
259	%LCLfcn mbstowcs : __int_Obj_Ptr, __char_Obj_Ptr, int -> int
260	%LCLfcnGlobals
261	%LCLfcn mbtowc : __int_Obj_Ptr, __char_Obj_Ptr, int -> int
262	%LCLfcnGlobals
263	%LCLfcn qsort : __void_Obj_Ptr, int, int, _HOF_sort_37 -> void
264	%LCLfcnGlobals
265	%LCLfcn rand : -> int
266	%LCLfcnGlobals
267	%LCLfcn realloc : __void_Obj_Ptr, int -> __void_Obj_Ptr
268	%LCLfcnGlobals
269	%LCLfcn srand : int -> void
270	%LCLfcnGlobals
271	%LCLfcn strtod : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> double
272	%LCLfcnGlobals
273	%LCLfcn strtol : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int
274	%LCLfcnGlobals
275	%LCLfcn strtoul : __char_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr, int -> int
276	%LCLfcnGlobals
277	%LCLfcn system : __char_Obj_Ptr -> int
278	%LCLfcnGlobals
279	%LCLfcn wcstombs : __char_Obj_Ptr, __int_Obj_Ptr, int -> int
280	%LCLfcnGlobals
281	%LCLfcn wctomb : __char_Obj_Ptr, int -> int
282	%LCLfcnGlobals
283	%LCLfcn bcopy : __char_Obj_Ptr, __char_Obj_Ptr, int -> void
284	%LCLfcnGlobals
285	%LCLfcn bcmp : __char_Obj_Ptr, __char_Obj_Ptr, int -> bool
286	%LCLfcnGlobals
287	%LCLfcn bzero : __char_Obj_Ptr, int -> void
288	%LCLfcnGlobals
289	%LCLfcn ffs : int -> int
290	%LCLfcnGlobals
291	%LCLfcn memccpy : __void_Obj_Ptr, __void_Obj_Ptr, int, int -> __void_Obj_Ptr
292	%LCLfcnGlobals
293	%LCLfcn memchr : __void_Obj_Ptr, int, int -> __void_Obj_Ptr
294	%LCLfcnGlobals
295	%LCLfcn memcmp : __void_Obj_Ptr, __void_Obj_Ptr, int -> bool
296	%LCLfcnGlobals
297	%LCLfcn memcpy : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr
298	%LCLfcnGlobals
299	%LCLfcn memset : __void_Obj_Ptr, int, int -> __void_Obj_Ptr
300	%LCLfcnGlobals
301	%LCLfcn memmove : __void_Obj_Ptr, __void_Obj_Ptr, int -> __void_Obj_Ptr
302	%LCLfcnGlobals
303	%LCLSymbolTableEnd