/*
**
** The C code is generated by ATS/Anairiats
** The compilation time is: 2011-9-10: 22h:12m
**
*/

/* include some .h files */
#ifndef _ATS_HEADER_NONE
#include "ats_config.h"
#include "ats_basics.h"
#include "ats_types.h"
#include "ats_exception.h"
#include "ats_memory.h"
#endif /* _ATS_HEADER_NONE */

/* include some .cats files */
#ifndef _ATS_PRELUDE_NONE
#include "prelude/CATS/basics.cats"
#include "prelude/CATS/bool.cats"
#include "prelude/CATS/byte.cats"
#include "prelude/CATS/char.cats"
#include "prelude/CATS/float.cats"
#include "prelude/CATS/integer.cats"
#include "prelude/CATS/integer_fixed.cats"
#include "prelude/CATS/integer_ptr.cats"
#include "prelude/CATS/lazy.cats"
#include "prelude/CATS/lazy_vt.cats"
#include "prelude/CATS/pointer.cats"
#include "prelude/CATS/printf.cats"
#include "prelude/CATS/reference.cats"
#include "prelude/CATS/sizetype.cats"
#include "prelude/CATS/string.cats"
#include "prelude/CATS/array.cats"
#include "prelude/CATS/list.cats"
#include "prelude/CATS/matrix.cats"
#include "prelude/CATS/option.cats"
#endif /* _ATS_PRELUDE_NONE */
/* prologues from statically loaded files */
/* external codes at top */
/* type definitions */
typedef struct {
ats_int64_type atslab_0 ;
ats_ptr_type atslab_1 ;
} anairiats_sum_0 ;

/* external typedefs */
/* external dynamic constructor declarations */
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__list_cons) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__list_nil) ;

/* external dynamic constant declarations */
ATSextern_fun(ats_int_type, atspre_add_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_lte_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_isucc) (ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_iadd) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_isub) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_ilt) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_igt) (ats_int_type, ats_int_type) ;
ATSextern_val(ats_ptr_type, atspre_null_ptr) ;
ATSextern_fun(ats_int_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_temp_temp) (ats_int64_type, ats_int64_type) ;
ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_templst) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_ismem) (ats_ptr_type, ats_int64_type) ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add) (ats_ptr_type, ats_int64_type) ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add_flag) (ats_ptr_type, ats_int64_type, ats_ref_type) ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union_flag) (ats_ptr_type, ats_ptr_type, ats_ref_type) ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_diff) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove_flag) (ats_ptr_type, ats_int64_type, ats_ref_type) ;

/* external dynamic terminating constant declarations */
#ifdef _ATS_PROOFCHECK
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
extern
ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
#endif /* _ATS_PROOFCHECK */

/* sum constructor declarations */
/* exn constructor declarations */
/* global dynamic (non-functional) constant declarations */
/* internal function declarations */
static
ats_ptr_type loop_3 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_int_type loop_7 (ats_ptr_type arg0, ats_int_type arg1) ;
static
ats_int_type list_length_01478_ats_int64_type (ats_ptr_type arg0) ;

/* partial value template declarations */
/* static temporary variable declarations */
/* external value variable declarations */

/* function implementations */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 404(line=28, offs=30) -- 413(line=28, offs=39)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp0) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset:
#line 28 "tempset.dats"
tmp0 = arg0 ;
return (tmp0) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 458(line=32, offs=23) -- 466(line=32, offs=31)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_nil () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp1) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_nil:
#line 32 "tempset.dats"
tmp1 = (ats_sum_ptr_type)0 ;
return (tmp1) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_nil] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 516(line=35, offs=7) -- 667(line=38, offs=25)
*/
ATSstaticdec()
ats_ptr_type
loop_3 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp3) ;
ATSlocal (ats_int64_type, tmp4) ;
ATSlocal (ats_ptr_type, tmp5) ;
ATSlocal (ats_ptr_type, tmp6) ;

__ats_lab_loop_3:
#line 36 "tempset.dats"
do {
/* branch: __ats_lab_0 */
#line 37 "tempset.dats"
__ats_lab_0_0:
#line 37 "tempset.dats"
if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_1_0 ; }
#line 37 "tempset.dats"
__ats_lab_0_1:
#line 37 "tempset.dats"
tmp4 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_0) ;
#line 37 "tempset.dats"
tmp5 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_1) ;
#line 37 "tempset.dats"
tmp6 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add (arg1, tmp4) ;
#line 37 "tempset.dats"
arg0 = tmp5 ;
#line 37 "tempset.dats"
arg1 = tmp6 ;
#line 37 "tempset.dats"
goto __ats_lab_loop_3 ; // tail call
break ;

/* branch: __ats_lab_1 */
#line 38 "tempset.dats"
__ats_lab_1_0:
#line 38 "tempset.dats"
// if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 38 "tempset.dats"
__ats_lab_1_1:
#line 38 "tempset.dats"
tmp3 = arg1 ;
break ;
} while (0) ;
return (tmp3) ;
} /* end of [loop_3] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 499(line=34, offs=32) -- 714(line=41, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_make_templst (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp2) ;
ATSlocal (ats_ptr_type, tmp7) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_make_templst:
#line 40 "tempset.dats"
tmp7 = (ats_sum_ptr_type)0 ;
#line 40 "tempset.dats"
tmp2 = loop_3 (arg0, tmp7) ;
return (tmp2) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_make_templst] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 795(line=45, offs=26) -- 835(line=45, offs=66)
*/
ATSglobaldec()
ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__fprint_tempset (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp8) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__fprint_tempset:
#line 45 "tempset.dats"
/* tmp8 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_templst (arg0, arg1) ;
return /* (tmp8) */ ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__fprint_tempset] */

/*
// /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/list.dats: 50131(line=1731, offs=7) -- 50271(line=1734, offs=6)
*/
ATSstaticdec()
ats_int_type
loop_7 (ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
ATSlocal (ats_int_type, tmp11) ;
ATSlocal (ats_ptr_type, tmp12) ;
ATSlocal (ats_int_type, tmp13) ;

__ats_lab_loop_7:
#line 1733 "list.dats"
do {
/* branch: __ats_lab_2 */
#line 1733 "list.dats"
__ats_lab_2_0:
#line 1733 "list.dats"
if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_3_0 ; }
#line 1733 "list.dats"
__ats_lab_2_1:
#line 1733 "list.dats"
tmp12 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_1) ;
#line 1733 "list.dats"
tmp13 = atspre_isucc (arg1) ;
#line 1733 "list.dats"
arg0 = tmp12 ;
#line 1733 "list.dats"
arg1 = tmp13 ;
#line 1733 "list.dats"
goto __ats_lab_loop_7 ; // tail call
break ;

/* branch: __ats_lab_3 */
#line 1733 "list.dats"
__ats_lab_3_0:
#line 1733 "list.dats"
// if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 1733 "list.dats"
__ats_lab_3_1:
#line 1733 "list.dats"
tmp11 = arg1 ;
break ;
} while (0) ;
return (tmp11) ;
} /* end of [loop_7] */

/*
// /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/list.dats: 50114(line=1730, offs=13) -- 50310(line=1737, offs=4)
*/
ATSstaticdec()
ats_int_type
list_length_01478_ats_int64_type (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_int_type, tmp10) ;

__ats_lab_list_length_01478_ats_int64_type:
#line 1736 "list.dats"
tmp10 = loop_7 (arg0, 0) ;
return (tmp10) ;
} /* end of [list_length_01478_ats_int64_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 881(line=49, offs=24) -- 903(line=49, offs=46)
*/
ATSglobaldec()
ats_int_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_size (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_int_type, tmp9) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_size:
#line 49 "tempset.dats"
tmp9 = list_length_01478_ats_int64_type (arg0) ;
return (tmp9) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_size] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 954(line=53, offs=28) -- 1016(line=54, offs=56)
*/
ATSglobaldec()
ats_bool_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_is_empty (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_bool_type, tmp14) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_is_empty:
#line 54 "tempset.dats"
do {
/* branch: __ats_lab_4 */
#line 54 "tempset.dats"
__ats_lab_4_0:
#line 54 "tempset.dats"
if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_5_0 ; }
#line 54 "tempset.dats"
__ats_lab_4_1:
#line 54 "tempset.dats"
tmp14 = ats_false_bool ;
break ;

/* branch: __ats_lab_5 */
#line 54 "tempset.dats"
__ats_lab_5_0:
#line 54 "tempset.dats"
// if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 54 "tempset.dats"
__ats_lab_5_1:
#line 54 "tempset.dats"
tmp14 = ats_true_bool ;
break ;
} while (0) ;
return (tmp14) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_is_empty] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 1077(line=57, offs=31) -- 1139(line=58, offs=56)
*/
ATSglobaldec()
ats_bool_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_isnot_empty (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_bool_type, tmp15) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_isnot_empty:
#line 58 "tempset.dats"
do {
/* branch: __ats_lab_6 */
#line 58 "tempset.dats"
__ats_lab_6_0:
#line 58 "tempset.dats"
if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_7_0 ; }
#line 58 "tempset.dats"
__ats_lab_6_1:
#line 58 "tempset.dats"
tmp15 = ats_true_bool ;
break ;

/* branch: __ats_lab_7 */
#line 58 "tempset.dats"
__ats_lab_7_0:
#line 58 "tempset.dats"
// if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 58 "tempset.dats"
__ats_lab_7_1:
#line 58 "tempset.dats"
tmp15 = ats_false_bool ;
break ;
} while (0) ;
return (tmp15) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_isnot_empty] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 1218(line=63, offs=25) -- 1473(line=72, offs=25)
*/
ATSglobaldec()
ats_bool_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_ismem (ats_ptr_type arg0, ats_int64_type arg1) {
/* local vardec */
ATSlocal (ats_bool_type, tmp16) ;
ATSlocal (ats_int64_type, tmp17) ;
ATSlocal (ats_ptr_type, tmp18) ;
ATSlocal (ats_int_type, tmp19) ;
ATSlocal (ats_bool_type, tmp20) ;
ATSlocal (ats_bool_type, tmp21) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_ismem:
#line 64 "tempset.dats"
do {
/* branch: __ats_lab_8 */
#line 65 "tempset.dats"
__ats_lab_8_0:
#line 65 "tempset.dats"
if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_9_0 ; }
#line 65 "tempset.dats"
__ats_lab_8_1:
#line 65 "tempset.dats"
tmp17 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_0) ;
#line 65 "tempset.dats"
tmp18 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_1) ;
#line 66 "tempset.dats"
tmp19 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_temp_temp (arg1, tmp17) ;
#line 68 "tempset.dats"
tmp20 = atspre_ilt (tmp19, 0) ;
#line 68 "tempset.dats"
if (tmp20) {
#line 68 "tempset.dats"
tmp16 = ats_false_bool ;
} else {
#line 69 "tempset.dats"
tmp21 = atspre_igt (tmp19, 0) ;
#line 69 "tempset.dats"
if (tmp21) {
#line 69 "tempset.dats"
arg0 = tmp18 ;
#line 69 "tempset.dats"
arg1 = arg1 ;
#line 69 "tempset.dats"
goto __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_ismem ; // tail call
} else {
#line 70 "tempset.dats"
tmp16 = ats_true_bool ;
} /* end of [if] */
} /* end of [if] */
break ;

/* branch: __ats_lab_9 */
#line 72 "tempset.dats"
__ats_lab_9_0:
#line 72 "tempset.dats"
// if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 72 "tempset.dats"
__ats_lab_9_1:
#line 72 "tempset.dats"
tmp16 = ats_false_bool ;
break ;
} while (0) ;
return (tmp16) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_ismem] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 1544(line=77, offs=23) -- 1617(line=79, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add (ats_ptr_type arg0, ats_int64_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp22) ;
ATSlocal (ats_int_type, tmp23) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add:
#line 78 "tempset.dats"
/* ats_int_type tmp23 ; */
#line 78 "tempset.dats"
tmp23 = 0 ;
#line 78 "tempset.dats"
tmp22 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add_flag (arg0, arg1, (&tmp23)) ;
return (tmp22) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 1672(line=82, offs=3) -- 2087(line=94, offs=8)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add_flag (ats_ptr_type arg0, ats_int64_type arg1, ats_ref_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp24) ;
ATSlocal (ats_int64_type, tmp25) ;
ATSlocal (ats_ptr_type, tmp26) ;
ATSlocal (ats_int_type, tmp27) ;
ATSlocal (ats_bool_type, tmp28) ;
ATSlocal (ats_int_type, tmp29) ;
ATSlocal (ats_bool_type, tmp30) ;
ATSlocal (ats_ptr_type, tmp31) ;
ATSlocal (ats_int_type, tmp32) ;
ATSlocal (ats_ptr_type, tmp33) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add_flag:
#line 82 "tempset.dats"
do {
/* branch: __ats_lab_10 */
#line 83 "tempset.dats"
__ats_lab_10_0:
#line 83 "tempset.dats"
if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_11_0 ; }
#line 83 "tempset.dats"
__ats_lab_10_1:
#line 83 "tempset.dats"
tmp25 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_0) ;
#line 83 "tempset.dats"
tmp26 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_1) ;
#line 84 "tempset.dats"
tmp27 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_temp_temp (arg1, tmp25) ;
#line 86 "tempset.dats"
tmp28 = atspre_ilt (tmp27, 0) ;
#line 86 "tempset.dats"
if (tmp28) {
#line 87 "tempset.dats"
tmp29 = atspre_add_int_int (ats_ptrget_mac(ats_int_type, arg2), 1) ;
#line 87 "tempset.dats"
ats_ptrget_mac(ats_int_type, arg2) = tmp29 ;
#line 87 "tempset.dats"
tmp24 = ATS_MALLOC(sizeof(anairiats_sum_0)) ;
ats_selptrset_mac(anairiats_sum_0, tmp24, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_0, tmp24, atslab_1, arg0) ;
} else {
#line 88 "tempset.dats"
tmp30 = atspre_igt (tmp27, 0) ;
#line 88 "tempset.dats"
if (tmp30) {
#line 89 "tempset.dats"
tmp31 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add_flag (tmp26, arg1, arg2) ;
#line 89 "tempset.dats"
tmp24 = ATS_MALLOC(sizeof(anairiats_sum_0)) ;
ats_selptrset_mac(anairiats_sum_0, tmp24, atslab_0, tmp25) ;
ats_selptrset_mac(anairiats_sum_0, tmp24, atslab_1, tmp31) ;
} else {
#line 90 "tempset.dats"
tmp24 = arg0 ;
} /* end of [if] */
} /* end of [if] */
break ;

/* branch: __ats_lab_11 */
#line 92 "tempset.dats"
__ats_lab_11_0:
#line 92 "tempset.dats"
// if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 92 "tempset.dats"
__ats_lab_11_1:
#line 93 "tempset.dats"
tmp32 = atspre_add_int_int (ats_ptrget_mac(ats_int_type, arg2), 1) ;
#line 93 "tempset.dats"
ats_ptrget_mac(ats_int_type, arg2) = tmp32 ;
#line 93 "tempset.dats"
tmp33 = (ats_sum_ptr_type)0 ;
#line 93 "tempset.dats"
tmp24 = ATS_MALLOC(sizeof(anairiats_sum_0)) ;
ats_selptrset_mac(anairiats_sum_0, tmp24, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_0, tmp24, atslab_1, tmp33) ;
break ;
} while (0) ;
return (tmp24) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add_flag] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 2182(line=99, offs=25) -- 2261(line=101, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp34) ;
ATSlocal (ats_int_type, tmp35) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union:
#line 100 "tempset.dats"
/* ats_int_type tmp35 ; */
#line 100 "tempset.dats"
tmp35 = 0 ;
#line 100 "tempset.dats"
tmp34 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union_flag (arg0, arg1, (&tmp35)) ;
return (tmp34) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 2320(line=104, offs=3) -- 2921(line=118, offs=48)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union_flag (ats_ptr_type arg0, ats_ptr_type arg1, ats_ref_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp36) ;
ATSlocal (ats_int64_type, tmp37) ;
ATSlocal (ats_ptr_type, tmp38) ;
ATSlocal (ats_int64_type, tmp39) ;
ATSlocal (ats_ptr_type, tmp40) ;
ATSlocal (ats_int_type, tmp41) ;
ATSlocal (ats_bool_type, tmp42) ;
ATSlocal (ats_int_type, tmp43) ;
ATSlocal (ats_ptr_type, tmp44) ;
ATSlocal (ats_bool_type, tmp45) ;
ATSlocal (ats_ptr_type, tmp46) ;
ATSlocal (ats_ptr_type, tmp47) ;
ATSlocal (ats_int_type, tmp48) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union_flag:
#line 104 "tempset.dats"
do {
/* branch: __ats_lab_12 */
#line 105 "tempset.dats"
__ats_lab_12_0:
#line 105 "tempset.dats"
if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_13_0 ; }
#line 105 "tempset.dats"
__ats_lab_12_1:
#line 105 "tempset.dats"
if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_13_1 ; }
#line 105 "tempset.dats"
__ats_lab_12_2:
#line 105 "tempset.dats"
tmp37 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_0) ;
#line 105 "tempset.dats"
tmp38 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_1) ;
#line 105 "tempset.dats"
tmp39 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_0) ;
#line 105 "tempset.dats"
tmp40 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_1) ;
#line 106 "tempset.dats"
tmp41 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_temp_temp (tmp39, tmp37) ;
#line 108 "tempset.dats"
tmp42 = atspre_ilt (tmp41, 0) ;
#line 108 "tempset.dats"
if (tmp42) {
#line 109 "tempset.dats"
tmp43 = atspre_add_int_int (ats_ptrget_mac(ats_int_type, arg2), 1) ;
#line 109 "tempset.dats"
ats_ptrget_mac(ats_int_type, arg2) = tmp43 ;
#line 110 "tempset.dats"
tmp44 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union_flag (arg0, tmp40, arg2) ;
#line 110 "tempset.dats"
tmp36 = ATS_MALLOC(sizeof(anairiats_sum_0)) ;
ats_selptrset_mac(anairiats_sum_0, tmp36, atslab_0, tmp39) ;
ats_selptrset_mac(anairiats_sum_0, tmp36, atslab_1, tmp44) ;
} else {
#line 111 "tempset.dats"
tmp45 = atspre_igt (tmp41, 0) ;
#line 111 "tempset.dats"
if (tmp45) {
#line 112 "tempset.dats"
tmp46 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union_flag (tmp38, arg1, arg2) ;
#line 112 "tempset.dats"
tmp36 = ATS_MALLOC(sizeof(anairiats_sum_0)) ;
ats_selptrset_mac(anairiats_sum_0, tmp36, atslab_0, tmp37) ;
ats_selptrset_mac(anairiats_sum_0, tmp36, atslab_1, tmp46) ;
} else {
#line 114 "tempset.dats"
tmp47 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union_flag (tmp38, tmp40, arg2) ;
#line 114 "tempset.dats"
tmp36 = ATS_MALLOC(sizeof(anairiats_sum_0)) ;
ats_selptrset_mac(anairiats_sum_0, tmp36, atslab_0, tmp37) ;
ats_selptrset_mac(anairiats_sum_0, tmp36, atslab_1, tmp47) ;
} /* end of [if] */
} /* end of [if] */
break ;

/* branch: __ats_lab_13 */
#line 117 "tempset.dats"
__ats_lab_13_0:
#line 117 "tempset.dats"
__ats_lab_13_1:
#line 117 "tempset.dats"
if (arg1 != (ats_sum_ptr_type)0) { goto __ats_lab_14_0 ; }
#line 117 "tempset.dats"
__ats_lab_13_2:
#line 117 "tempset.dats"
tmp36 = arg0 ;
break ;

/* branch: __ats_lab_14 */
#line 118 "tempset.dats"
__ats_lab_14_0:
#line 118 "tempset.dats"
// if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 118 "tempset.dats"
__ats_lab_14_1:
#line 118 "tempset.dats"
__ats_lab_14_2:
#line 118 "tempset.dats"
tmp48 = atspre_add_int_int (ats_ptrget_mac(ats_int_type, arg2), 1) ;
#line 118 "tempset.dats"
ats_ptrget_mac(ats_int_type, arg2) = tmp48 ;
#line 118 "tempset.dats"
tmp36 = arg1 ;
break ;
} while (0) ;
return (tmp36) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union_flag] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 2998(line=123, offs=24) -- 3407(line=132, offs=27)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_diff (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp49) ;
ATSlocal (ats_int64_type, tmp50) ;
ATSlocal (ats_ptr_type, tmp51) ;
ATSlocal (ats_int64_type, tmp52) ;
ATSlocal (ats_ptr_type, tmp53) ;
ATSlocal (ats_int_type, tmp54) ;
ATSlocal (ats_bool_type, tmp55) ;
ATSlocal (ats_bool_type, tmp56) ;
ATSlocal (ats_ptr_type, tmp57) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_diff:
#line 123 "tempset.dats"
do {
/* branch: __ats_lab_15 */
#line 124 "tempset.dats"
__ats_lab_15_0:
#line 124 "tempset.dats"
if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_16_0 ; }
#line 124 "tempset.dats"
__ats_lab_15_1:
#line 124 "tempset.dats"
if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_17_1 ; }
#line 124 "tempset.dats"
__ats_lab_15_2:
#line 124 "tempset.dats"
tmp50 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_0) ;
#line 124 "tempset.dats"
tmp51 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_1) ;
#line 124 "tempset.dats"
tmp52 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_0) ;
#line 124 "tempset.dats"
tmp53 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_1) ;
#line 125 "tempset.dats"
tmp54 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_temp_temp (tmp52, tmp50) ;
#line 127 "tempset.dats"
tmp55 = atspre_ilt (tmp54, 0) ;
#line 127 "tempset.dats"
if (tmp55) {
#line 127 "tempset.dats"
arg0 = arg0 ;
#line 127 "tempset.dats"
arg1 = tmp53 ;
#line 127 "tempset.dats"
goto __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_diff ; // tail call
} else {
#line 128 "tempset.dats"
tmp56 = atspre_igt (tmp54, 0) ;
#line 128 "tempset.dats"
if (tmp56) {
#line 128 "tempset.dats"
tmp57 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_diff (tmp51, arg1) ;
#line 128 "tempset.dats"
tmp49 = ATS_MALLOC(sizeof(anairiats_sum_0)) ;
ats_selptrset_mac(anairiats_sum_0, tmp49, atslab_0, tmp50) ;
ats_selptrset_mac(anairiats_sum_0, tmp49, atslab_1, tmp57) ;
} else {
#line 129 "tempset.dats"
arg0 = tmp51 ;
#line 129 "tempset.dats"
arg1 = tmp53 ;
#line 129 "tempset.dats"
goto __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_diff ; // tail call
} /* end of [if] */
} /* end of [if] */
break ;

/* branch: __ats_lab_16 */
#line 131 "tempset.dats"
__ats_lab_16_0:
#line 131 "tempset.dats"
if (arg0 != (ats_sum_ptr_type)0) { goto __ats_lab_17_0 ; }
#line 131 "tempset.dats"
__ats_lab_16_1:
#line 131 "tempset.dats"
__ats_lab_16_2:
#line 131 "tempset.dats"
tmp49 = (ats_sum_ptr_type)0 ;
break ;

/* branch: __ats_lab_17 */
#line 132 "tempset.dats"
__ats_lab_17_0:
#line 132 "tempset.dats"
__ats_lab_17_1:
#line 132 "tempset.dats"
// if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 132 "tempset.dats"
__ats_lab_17_2:
#line 132 "tempset.dats"
tmp49 = arg0 ;
break ;
} while (0) ;
return (tmp49) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_diff] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 3480(line=137, offs=26) -- 3556(line=139, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove (ats_ptr_type arg0, ats_int64_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp58) ;
ATSlocal (ats_int_type, tmp59) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove:
#line 138 "tempset.dats"
/* ats_int_type tmp59 ; */
#line 138 "tempset.dats"
tmp59 = 0 ;
#line 138 "tempset.dats"
tmp58 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove_flag (arg0, arg1, (&tmp59)) ;
return (tmp58) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/tempset.dats: 3615(line=141, offs=31) -- 4087(line=156, offs=31)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove_flag (ats_ptr_type arg0, ats_int64_type arg1, ats_ref_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp60) ;
ATSlocal (ats_int64_type, tmp61) ;
ATSlocal (ats_ptr_type, tmp62) ;
ATSlocal (ats_int_type, tmp63) ;
ATSlocal (ats_bool_type, tmp64) ;
ATSlocal (ats_bool_type, tmp65) ;
ATSlocal (ats_int_type, tmp66) ;
ATSlocal (ats_ptr_type, tmp67) ;
ATSlocal (ats_bool_type, tmp68) ;
ATSlocal (ats_int_type, tmp69) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove_flag:
#line 142 "tempset.dats"
do {
/* branch: __ats_lab_18 */
#line 143 "tempset.dats"
__ats_lab_18_0:
#line 143 "tempset.dats"
if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_19_0 ; }
#line 143 "tempset.dats"
__ats_lab_18_1:
#line 143 "tempset.dats"
tmp61 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_0) ;
#line 143 "tempset.dats"
tmp62 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_1) ;
#line 144 "tempset.dats"
tmp63 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_temp_temp (arg1, tmp61) ;
#line 146 "tempset.dats"
tmp64 = atspre_ilt (tmp63, 0) ;
#line 146 "tempset.dats"
if (tmp64) {
#line 146 "tempset.dats"
tmp60 = arg0 ;
} else {
#line 147 "tempset.dats"
tmp65 = atspre_igt (tmp63, 0) ;
#line 147 "tempset.dats"
if (tmp65) {
#line 148 "tempset.dats"
tmp66 = ats_ptrget_mac(ats_int_type, arg2) ;
#line 149 "tempset.dats"
tmp67 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove_flag (tmp62, arg1, arg2) ;
#line 151 "tempset.dats"
tmp68 = atspre_gt_int_int (ats_ptrget_mac(ats_int_type, arg2), tmp66) ;
#line 151 "tempset.dats"
if (tmp68) {
#line 151 "tempset.dats"
tmp60 = ATS_MALLOC(sizeof(anairiats_sum_0)) ;
ats_selptrset_mac(anairiats_sum_0, tmp60, atslab_0, tmp61) ;
ats_selptrset_mac(anairiats_sum_0, tmp60, atslab_1, tmp67) ;
} else {
#line 151 "tempset.dats"
tmp60 = arg0 ;
} /* end of [if] */
} else {
#line 153 "tempset.dats"
tmp69 = atspre_add_int_int (ats_ptrget_mac(ats_int_type, arg2), 1) ;
#line 153 "tempset.dats"
ats_ptrget_mac(ats_int_type, arg2) = tmp69 ;
#line 153 "tempset.dats"
tmp60 = tmp62 ;
} /* end of [if] */
} /* end of [if] */
break ;

/* branch: __ats_lab_19 */
#line 156 "tempset.dats"
__ats_lab_19_0:
#line 156 "tempset.dats"
// if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 156 "tempset.dats"
__ats_lab_19_1:
#line 156 "tempset.dats"
tmp60 = (ats_sum_ptr_type)0 ;
break ;
} while (0) ;
return (tmp60) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove_flag] */

/* static load function */

extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__staload (void) ;
extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__staload (void) ;
extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats__staload (void) ;

ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2edats__staload () {
static int _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2edats__staload_flag = 0 ;
if (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2edats__staload_flag) return ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2edats__staload_flag = 1 ;

_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__staload () ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__staload () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats__staload () ;

return ;
} /* staload function */

/* dynamic load function */

// dynload flag declaration
extern ats_int_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2edats__dynload_flag ;

ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2edats__dynload () {
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2edats__dynload_flag = 1 ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
ATS_2d0_2e2_2e6_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ;
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */

/* marking external values for GC */

/* code for dynamic loading */
return ;
} /* end of [dynload function] */

/* external codes at mid */
/* external codes at bot */

/* ****** ****** */

/* end of [tempset_dats.c] */