-%PASSED Output from Splint 3.0.0.20
-%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 _s_st_Struct str s_st nil
-%LCLsort b strMem ___int_Obj_Ptr_Obj nil
-%LCLsort a strMem _int_Obj nil
-%LCLsort strEnd nil nil nil
-%LCLsort _int_Obj obj int 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 ___int_Obj_Ptr_Obj obj __int_Obj_Ptr nil
-%LCLsort _s_st_Struct_Tuple tup _s_st_Struct nil
-%LCLsort __s_st_Struct_Ptr ptr _s_st_Struct nil
-%LCLsort __s_st_Struct_Arr arr _s_st_Struct nil
-%LCLsort __s_st_Struct_Tuple_Vec vec _s_st_Struct_Tuple __s_st_Struct_Arr
-%LCLsort _st synonym _s_st_Struct nil
-%LCLsort _s_ut_Union union s_ut nil
-%LCLsort c unionMem _____int_Obj_Ptr_Obj_Ptr_Obj nil
-%LCLsort t unionMem ___s_st_Struct_Ptr_Obj nil
-%LCLsort s unionMem _s_st_Struct nil
-%LCLsort a unionMem _int_Obj nil
-%LCLsort unionEnd nil nil nil
-%LCLsort ___s_st_Struct_Ptr_Obj obj __s_st_Struct_Ptr nil
-%LCLsort ____int_Obj_Ptr_Obj_Ptr ptr ___int_Obj_Ptr_Obj nil
-%LCLsort ____int_Obj_Ptr_Obj_Arr arr ___int_Obj_Ptr_Obj nil
-%LCLsort ___int_Obj_Ptr_Vec vec __int_Obj_Ptr ____int_Obj_Ptr_Obj_Arr
-%LCLsort _____int_Obj_Ptr_Obj_Ptr_Obj obj ____int_Obj_Ptr_Obj_Ptr nil
-%LCLsort _s_ut_Union_UnionVal unionval _s_ut_Union nil
-%LCLsort __s_ut_Union_Ptr ptr _s_ut_Union nil
-%LCLsort __s_ut_Union_Arr arr _s_ut_Union nil
-%LCLsort __s_ut_Union_UnionVal_Vec vec _s_ut_Union_UnionVal __s_ut_Union_Arr
-%LCLsort _ut synonym _s_ut_Union nil
-%LCLsort ___s_ut_Union_Ptr_Obj obj __s_ut_Union_Ptr nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%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 prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __ :double, double -> double
-%LCLop __ \implies __ :bool, bool -> bool
-%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 6 : -> double
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLtag s_st 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
-%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
-%LCLtag s_ut union
-%LCLop [__, __] :__int_Obj_Ptr, int -> _s_st_Struct_Tuple
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
-%LCLop __ [] :__s_st_Struct_Ptr -> __s_st_Struct_Arr
-%LCLop __ [] :____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Arr
-%LCLop __ [] :__s_ut_Union_Ptr -> __s_ut_Union_Arr
-%LCLop __ \select a :_s_st_Struct_Tuple -> int
-%LCLop __ \select a :_s_st_Struct -> _int_Obj
-%LCLop __ \select a :_s_ut_Union_UnionVal -> int
-%LCLop __ \select a :_s_ut_Union -> _int_Obj
-%LCLop __ |- __ :_char_Vec, char -> _char_Vec
-%LCLop __ \select b :_s_st_Struct_Tuple -> __int_Obj_Ptr
-%LCLop __ \select b :_s_st_Struct -> ___int_Obj_Ptr_Obj
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ [__] :_int_Vec, int -> int
-%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
-%LCLop __ [__] :__s_st_Struct_Tuple_Vec, int -> _s_st_Struct_Tuple
-%LCLop __ [__] :__s_st_Struct_Arr, int -> _s_st_Struct
-%LCLop __ [__] :___int_Obj_Ptr_Vec, int -> __int_Obj_Ptr
-%LCLop __ [__] :____int_Obj_Ptr_Obj_Arr, int -> ___int_Obj_Ptr_Obj
-%LCLop __ [__] :__s_ut_Union_UnionVal_Vec, int -> _s_ut_Union_UnionVal
-%LCLop __ [__] :__s_ut_Union_Arr, int -> _s_ut_Union
-%LCLop __ \field_arrow a :__s_st_Struct_Ptr -> _int_Obj
-%LCLop __ \field_arrow a :__s_ut_Union_Ptr -> int
-%LCLop __ \field_arrow a :__s_ut_Union_Ptr -> _int_Obj
-%LCLop __ -| __ :char, _char_Vec -> _char_Vec
-%LCLop __ \field_arrow b :__s_st_Struct_Ptr -> ___int_Obj_Ptr_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 __ \select s :_s_ut_Union_UnionVal -> _s_st_Struct_Tuple
-%LCLop __ \select s :_s_ut_Union -> _s_st_Struct
-%LCLop __ \select t :_s_ut_Union_UnionVal -> __s_st_Struct_Ptr
-%LCLop __ \select t :_s_ut_Union -> ___s_st_Struct_Ptr_Obj
-%LCLop __ \field_arrow s :__s_ut_Union_Ptr -> _s_st_Struct_Tuple
-%LCLop __ \field_arrow s :__s_ut_Union_Ptr -> _s_st_Struct
-%LCLop __ \select c :_s_ut_Union_UnionVal -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ \select c :_s_ut_Union -> _____int_Obj_Ptr_Obj_Ptr_Obj
-%LCLop __ \field_arrow t :__s_ut_Union_Ptr -> __s_st_Struct_Ptr
-%LCLop __ \field_arrow t :__s_ut_Union_Ptr -> ___s_st_Struct_Ptr_Obj
-%LCLop __ \field_arrow c :__s_ut_Union_Ptr -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ \field_arrow c :__s_ut_Union_Ptr -> _____int_Obj_Ptr_Obj_Ptr_Obj
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop NIL : -> __int_Obj_Ptr
-%LCLop NIL : -> __s_st_Struct_Ptr
-%LCLop NIL : -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop NIL : -> __s_ut_Union_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 __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr
-%LCLop __ + __ :__s_st_Struct_Ptr, int -> __s_st_Struct_Ptr
-%LCLop __ + __ :int, __s_st_Struct_Ptr -> __s_st_Struct_Ptr
-%LCLop __ + __ :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ + __ :int, ____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ + __ :__s_ut_Union_Ptr, int -> __s_ut_Union_Ptr
-%LCLop __ + __ :int, __s_ut_Union_Ptr -> __s_ut_Union_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 __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int
-%LCLop __ - __ :__s_st_Struct_Ptr, int -> __s_st_Struct_Ptr
-%LCLop __ - __ :__s_st_Struct_Ptr, __s_st_Struct_Ptr -> int
-%LCLop __ - __ :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ - __ :____int_Obj_Ptr_Obj_Ptr, ____int_Obj_Ptr_Obj_Ptr -> int
-%LCLop __ - __ :__s_ut_Union_Ptr, int -> __s_ut_Union_Ptr
-%LCLop __ - __ :__s_ut_Union_Ptr, __s_ut_Union_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 :_int_Vec, int -> bool
-%LCLop isSub :__int_Obj_Arr, int -> bool
-%LCLop isSub :__s_st_Struct_Tuple_Vec, int -> bool
-%LCLop isSub :__s_st_Struct_Arr, int -> bool
-%LCLop isSub :___int_Obj_Ptr_Vec, int -> bool
-%LCLop isSub :____int_Obj_Ptr_Obj_Arr, int -> bool
-%LCLop isSub :__s_ut_Union_UnionVal_Vec, int -> bool
-%LCLop isSub :__s_ut_Union_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype st _st exposed
-%LCLtype ut _ut exposed
-%LCLvar gst _s_st_Struct
-%LCLvar gu ___s_ut_Union_Ptr_Obj
-%LCLfcn f : __int_Obj_Arr, _s_st_Struct_Tuple, __s_ut_Union_Ptr -> int
-%LCLfcnGlobals _s_st_Struct gst; ___s_ut_Union_Ptr_Obj gu;
-%LCLfcn model : __int_Obj_Arr -> void
-%LCLfcnGlobals _s_st_Struct gst; ___s_ut_Union_Ptr_Obj gu;
-%LCLfcn modst : _s_st_Struct_Tuple -> void
-%LCLfcnGlobals
-%LCLfcn modu : __s_ut_Union_Ptr -> void
-%LCLfcnGlobals
-%LCLSymbolTableEnd