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

/* 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_size_type atslab_0 ;
ats_size_type atslab_1 ;
ats_ptr_type atslab_2 ;
ats_clo_ref_type atslab_3 ;
ats_clo_ref_type atslab_4 ;
} anairiats_sum_0 ;

typedef struct {
ats_ptr_type atslab_symbol_name ;
ats_int_type atslab_symbol_index ;
} anairiats_rec_1 ;

typedef struct {
ats_ptr_type atslab_0 ;
ats_ptr_type atslab_1 ;
ats_ptr_type atslab_2 ;
} anairiats_sum_2 ;

typedef struct {
ats_ptr_type atslab_0 ;
} anairiats_sum_3 ;

/* external typedefs */
/* external dynamic constructor declarations */
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__None_vt) ;
ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__Some_vt) ;
ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2hashtable_2edats__CHAINcons) ;
ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2hashtable_2edats__CHAINnil) ;
ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2hashtable_2edats__hashtbl_vt_some) ;
ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2hashtable_2edats__hashtbl_vt_none) ;

/* external dynamic constant declarations */
ATSextern_fun(ats_void_type, atspre_prerr_newline) () ;
ATSextern_fun(ats_double_type, atspre_double_of_size) (ats_size_type) ;
ATSextern_fun(ats_double_type, atspre_div_double_double) (ats_double_type, ats_double_type) ;
ATSextern_fun(ats_bool_type, atspre_lte_double_double) (ats_double_type, ats_double_type) ;
ATSextern_fun(ats_bool_type, atspre_gte_double_double) (ats_double_type, ats_double_type) ;
ATSextern_fun(ats_int_type, atspre_add_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_bool_type, atspre_eq_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_neq_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_int_type, atspre_compare_int_int) (ats_int_type, ats_int_type) ;
ATSextern_fun(ats_ptr_type, atspre_padd_size) (ats_ptr_type, ats_size_type) ;
ATSextern_fun(ats_ptr_type, atspre_ref_make_elt_tsz) (ats_ref_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_size1_of_int1) (ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_add_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_add_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_sub_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_mul2_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_size_type, atspre_div_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_size_type, atspre_mod1_size1_size1) (ats_size_type, ats_size_type) ;
ATSextern_fun(ats_bool_type, atspre_gt_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_gte_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_size1_int1) (ats_size_type, ats_int_type) ;
ATSextern_fun(ats_bool_type, atspre_eq_string_string) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_fprint_string) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_void_type, atspre_prerr_string) (ats_ptr_type) ;
ATSextern_fun(ats_ulint_type, atspre_string_hash_33) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_name_get) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name) (ats_ptr_type) ;
ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__fprint_symbol) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__eq_symbol_symbol) (ats_ptr_type, ats_ptr_type) ;
ATSextern_fun(ats_size_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2hashtable_2edats__hashtbl_size) (ats_ptr_type) ;
ATSextern_fun(ats_ptr_type, hashtbl_ptr_make) (ats_size_type) ;
ATSextern_fun(ats_void_type, hashtbl_ptr_free) (ats_ptr_type) ;

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

/* sum constructor declarations */
/* exn constructor declarations */
/* global dynamic (non-functional) constant declarations */
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_INT) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_NIL) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_STRING) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_UNIT) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_CHR) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_CONCAT) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_EXIT) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_FLUSH) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_GETCHAR) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_NOT) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_ORD) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_PRINT) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_PRINT_INT) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_SIZE) ;
ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_SUBSTRING) ;

/* internal function declarations */
static
ats_ulint_type __ats_fun_0 (ats_ptr_type arg0) ;
static
ats_clo_ptr_type __ats_fun_0_closure_make () ;
static
ats_ulint_type __ats_fun_0_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ;
static
ats_bool_type __ats_fun_1 (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_clo_ptr_type __ats_fun_1_closure_make () ;
static
ats_bool_type __ats_fun_1_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_ptr_type ref_01023_ats_ptr_type (ats_ptr_type arg0) ;
static
ats_ptr_type ref_make_elt_01024_ats_ptr_type (ats_ptr_type arg0) ;
static
ats_ptr_type hashtbl_make_hint_01661_ats_ptr_type_2cats_ptr_type (ats_clo_ref_type arg0, ats_clo_ref_type arg1, ats_size_type arg2) ;
static
ats_ptr_type hashtbl_make_01660_ats_ptr_type_2cats_ptr_type (ats_clo_ref_type arg0, ats_clo_ref_type arg1) ;
static
ats_ptr_type ref_01023_ats_int_type (ats_int_type arg0) ;
static
ats_ptr_type ref_make_elt_01024_ats_int_type (ats_int_type arg0) ;
static
ats_ptr_type symbol_make_name_index_8 (ats_ptr_type arg0, ats_int_type arg1) ;
static
ats_ulint_type hash_key_01657_ats_ptr_type (ats_ptr_type arg0, ats_clo_ref_type arg1) ;
static
ats_ptr_type hashtbl_split_063_ (ats_ptr_type arg0, ats_size_type arg1) ;
static
ats_bool_type equal_key_key_01656_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) ;
static
ats_ptr_type chain_search_032_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) ;
static
ats_ptr_type hashtbl_ptr_search_off_071_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2, ats_size_type arg3) ;
static
ats_ptr_type hashtbl_search_01662_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) ;
static
ats_void_type chain_insert_041_ats_ptr_type_2cats_ptr_type (ats_ref_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) ;
static
ats_void_type hashtbl_ptr_insert_off_084_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_size_type arg3) ;
static
ats_void_type hashtbl_ptr_insert_chain_0110_ats_ptr_type_2cats_ptr_type (ats_size_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3) ;
static
ats_void_type hashtbl_ptr_relocate_0128_ats_ptr_type_2cats_ptr_type (ats_size_type arg0, ats_size_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_clo_ref_type arg4) ;
static
ats_void_type hashtbl_resize_0174_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_size_type arg1) ;
static
ats_void_type hashtbl_resize_double_0191_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0) ;
static
ats_ptr_type hashtbl_insert_err_01663_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) ;

/* partial value template declarations */
/* static temporary variable declarations */
ATSstatic (ats_ptr_type, statmp1) ;
ATSstatic (ats_ptr_type, statmp3) ;
ATSstatic (ats_ptr_type, statmp4) ;
ATSstatic (ats_ptr_type, statmp15) ;
ATSstatic (ats_ptr_type, statmp125) ;
ATSstatic (ats_ptr_type, statmp126) ;
ATSstatic (ats_ptr_type, statmp127) ;
ATSstatic (ats_ptr_type, statmp128) ;
ATSstatic (ats_ptr_type, statmp129) ;
ATSstatic (ats_ptr_type, statmp130) ;
ATSstatic (ats_ptr_type, statmp131) ;
ATSstatic (ats_ptr_type, statmp132) ;
ATSstatic (ats_ptr_type, statmp133) ;
ATSstatic (ats_ptr_type, statmp134) ;
ATSstatic (ats_ptr_type, statmp135) ;
ATSstatic (ats_ptr_type, statmp136) ;
ATSstatic (ats_ptr_type, statmp137) ;
ATSstatic (ats_ptr_type, statmp138) ;
ATSstatic (ats_ptr_type, statmp139) ;

/* external value variable declarations */

/* function implementations */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/symbol.dats: 456(line=30, offs=14) -- 507(line=30, offs=65)
*/
ATSstaticdec()
ats_ulint_type
__ats_fun_0 (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ulint_type, tmp0) ;

__ats_lab___ats_fun_0:
#line 30 "symbol.dats"
tmp0 = atspre_string_hash_33 (arg0) ;
return (tmp0) ;
} /* end of [__ats_fun_0] */

typedef struct {
ats_fun_ptr_type closure_fun ;
} __ats_fun_0_closure_type ;

ats_ulint_type
__ats_fun_0_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) {
return __ats_fun_0 (arg0) ;
} /* end of function */

ATSinline()
ats_void_type
__ats_fun_0_closure_init (__ats_fun_0_closure_type *p_clo) {
p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_0_clofun ;
return ;
} /* end of function */

ats_clo_ptr_type
__ats_fun_0_closure_make () {
__ats_fun_0_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_0_closure_type)) ;
__ats_fun_0_closure_init (p_clo) ;
return (ats_clo_ptr_type)p_clo ;
} /* end of function */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/symbol.dats: 521(line=31, offs=14) -- 575(line=31, offs=68)
*/
ATSstaticdec()
ats_bool_type
__ats_fun_1 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_bool_type, tmp2) ;

__ats_lab___ats_fun_1:
#line 31 "symbol.dats"
tmp2 = atspre_eq_string_string (arg0, arg1) ;
return (tmp2) ;
} /* end of [__ats_fun_1] */

typedef struct {
ats_fun_ptr_type closure_fun ;
} __ats_fun_1_closure_type ;

ats_bool_type
__ats_fun_1_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0, ats_ptr_type arg1) {
return __ats_fun_1 (arg0, arg1) ;
} /* end of function */

ATSinline()
ats_void_type
__ats_fun_1_closure_init (__ats_fun_1_closure_type *p_clo) {
p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_1_clofun ;
return ;
} /* end of function */

ats_clo_ptr_type
__ats_fun_1_closure_make () {
__ats_fun_1_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_1_closure_type)) ;
__ats_fun_1_closure_init (p_clo) ;
return (ats_clo_ptr_type)p_clo ;
} /* end of function */

/*
// /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/reference.dats: 1834(line=59, offs=18) -- 1908(line=61, offs=4)
*/
ATSstaticdec()
ats_ptr_type
ref_01023_ats_ptr_type (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp13) ;
ATSlocal (ats_ptr_type, tmp14) ;

__ats_lab_ref_01023_ats_ptr_type:
#line 60 "reference.dats"
/* ats_ptr_type tmp14 ; */
#line 60 "reference.dats"
tmp14 = arg0 ;
#line 60 "reference.dats"
tmp13 = atspre_ref_make_elt_tsz ((&tmp14), sizeof(ats_ptr_type)) ;
return (tmp13) ;
} /* end of [ref_01023_ats_ptr_type] */

/*
// /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/reference.dats: 2000(line=64, offs=27) -- 2015(line=64, offs=42)
*/
ATSstaticdec()
ats_ptr_type
ref_make_elt_01024_ats_ptr_type (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp12) ;

__ats_lab_ref_make_elt_01024_ats_ptr_type:
#line 64 "reference.dats"
tmp12 = ref_01023_ats_ptr_type (arg0) ;
return (tmp12) ;
} /* end of [ref_make_elt_01024_ats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 17632(line=552, offs=38) -- 17934(line=561, offs=4)
*/
ATSstaticdec()
ats_ptr_type
hashtbl_make_hint_01661_ats_ptr_type_2cats_ptr_type (ats_clo_ref_type arg0, ats_clo_ref_type arg1, ats_size_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp6) ;
ATSlocal (ats_size_type, tmp7) ;
ATSlocal (ats_bool_type, tmp8) ;
ATSlocal (ats_ptr_type, tmp9) ;
ATSlocal (ats_ptr_type, tmp10) ;
ATSlocal (ats_ptr_type, tmp11) ;

__ats_lab_hashtbl_make_hint_01661_ats_ptr_type_2cats_ptr_type:
#line 555 "hashtable.dats"
tmp8 = atspre_gt_size1_int1 (ats_castfn_mac(ats_size_type, arg2), 0) ;
#line 555 "hashtable.dats"
if (tmp8) {
#line 555 "hashtable.dats"
tmp7 = ats_castfn_mac(ats_size_type, arg2) ;
} else {
#line 555 "hashtable.dats"
tmp7 = atspre_size1_of_int1 (97) ;
} /* end of [if] */
#line 557 "hashtable.dats"
tmp9 = hashtbl_ptr_make (tmp7) ;
#line 557 "hashtable.dats"
tmp10 = ats_selsin_mac(tmp9, atslab_2) ;
#line 558 "hashtable.dats"
tmp11 = ATS_MALLOC(sizeof(anairiats_sum_0)) ;
ats_selptrset_mac(anairiats_sum_0, tmp11, atslab_0, tmp7) ;
ats_selptrset_mac(anairiats_sum_0, tmp11, atslab_1, 0) ;
ats_selptrset_mac(anairiats_sum_0, tmp11, atslab_2, tmp10) ;
ats_selptrset_mac(anairiats_sum_0, tmp11, atslab_3, arg0) ;
ats_selptrset_mac(anairiats_sum_0, tmp11, atslab_4, arg1) ;
#line 560 "hashtable.dats"
tmp6 = ref_make_elt_01024_ats_ptr_type (tmp11) ;
return (tmp6) ;
} /* end of [hashtbl_make_hint_01661_ats_ptr_type_2cats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 17515(line=549, offs=3) -- 17568(line=549, offs=56)
*/
ATSstaticdec()
ats_ptr_type
hashtbl_make_01660_ats_ptr_type_2cats_ptr_type (ats_clo_ref_type arg0, ats_clo_ref_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp5) ;

__ats_lab_hashtbl_make_01660_ats_ptr_type_2cats_ptr_type:
#line 549 "hashtable.dats"
tmp5 = hashtbl_make_hint_01661_ats_ptr_type_2cats_ptr_type (arg0, arg1, 0) ;
return (tmp5) ;
} /* end of [hashtbl_make_01660_ats_ptr_type_2cats_ptr_type] */

/*
// /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/reference.dats: 1834(line=59, offs=18) -- 1908(line=61, offs=4)
*/
ATSstaticdec()
ats_ptr_type
ref_01023_ats_int_type (ats_int_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp17) ;
ATSlocal (ats_int_type, tmp18) ;

__ats_lab_ref_01023_ats_int_type:
#line 60 "reference.dats"
/* ats_int_type tmp18 ; */
#line 60 "reference.dats"
tmp18 = arg0 ;
#line 60 "reference.dats"
tmp17 = atspre_ref_make_elt_tsz ((&tmp18), sizeof(ats_int_type)) ;
return (tmp17) ;
} /* end of [ref_01023_ats_int_type] */

/*
// /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/reference.dats: 2000(line=64, offs=27) -- 2015(line=64, offs=42)
*/
ATSstaticdec()
ats_ptr_type
ref_make_elt_01024_ats_int_type (ats_int_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp16) ;

__ats_lab_ref_make_elt_01024_ats_int_type:
#line 64 "reference.dats"
tmp16 = ref_01023_ats_int_type (arg0) ;
return (tmp16) ;
} /* end of [ref_make_elt_01024_ats_int_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/symbol.dats: 659(line=38, offs=4) -- 769(line=42, offs=2)
*/
ATSstaticdec()
ats_ptr_type
symbol_make_name_index_8 (ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp19) ;

__ats_lab_symbol_make_name_index_8:
#line 39 "symbol.dats"
tmp19 = ATS_MALLOC(sizeof(anairiats_rec_1)) ;
ats_selptrset_mac(anairiats_rec_1, tmp19, atslab_symbol_name, arg0) ;
ats_selptrset_mac(anairiats_rec_1, tmp19, atslab_symbol_index, arg1) ;

return (tmp19) ;
} /* end of [symbol_make_name_index_8] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 766(line=38, offs=25) -- 785(line=38, offs=44)
*/
ATSstaticdec()
ats_ulint_type
hash_key_01657_ats_ptr_type (ats_ptr_type arg0, ats_clo_ref_type arg1) {
/* local vardec */
ATSlocal (ats_ulint_type, tmp30) ;

__ats_lab_hash_key_01657_ats_ptr_type:
#line 38 "hashtable.dats"
tmp30 = ((ats_ulint_type(*)(ats_clo_ptr_type, ats_ptr_type))(ats_closure_fun(arg1))) (arg1, arg0) ;
return (tmp30) ;
} /* end of [hash_key_01657_ats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 5902(line=194, offs=51) -- 6361(line=206, offs=4)
*/
ATSstaticdec()
ats_ptr_type
hashtbl_split_063_ (ats_ptr_type arg0, ats_size_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp34) ;
ATSlocal (ats_size_type, tmp35) ;
ATSlocal (ats_size_type, tmp36) ;

__ats_lab_hashtbl_split_063_:
#line 202 "hashtable.dats"
tmp35 = atspre_mul2_size1_size1 (arg1, sizeof(ats_ptr_type)) ;
#line 202 "hashtable.dats"
tmp36 = ats_selsin_mac(tmp35, atslab_1) ;
#line 205 "hashtable.dats"
tmp34 = atspre_padd_size (arg0, tmp36) ;
return (tmp34) ;
} /* end of [hashtbl_split_063_] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 625(line=31, offs=30) -- 651(line=31, offs=56)
*/
ATSstaticdec()
ats_bool_type
equal_key_key_01656_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) {
/* local vardec */
ATSlocal (ats_bool_type, tmp43) ;

__ats_lab_equal_key_key_01656_ats_ptr_type:
#line 31 "hashtable.dats"
tmp43 = ((ats_bool_type(*)(ats_clo_ptr_type, ats_ptr_type, ats_ptr_type))(ats_closure_fun(arg2))) (arg2, arg0, arg1) ;
return (tmp43) ;
} /* end of [equal_key_key_01656_ats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 2872(line=107, offs=3) -- 3258(line=118, offs=43)
*/
ATSstaticdec()
ats_ptr_type
chain_search_032_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp38) ;
ATSlocal (ats_ptr_type, tmp39) ;
ATSlocal (ats_ptr_type, tmp40) ;
ATSlocal (ats_ptr_type, tmp41) ;
ATSlocal (ats_bool_type, tmp42) ;
ATSlocal (ats_ptr_type, tmp44) ;

__ats_lab_chain_search_032_ats_ptr_type_2cats_ptr_type:
#line 108 "hashtable.dats"
do {
/* branch: __ats_lab_1 */
#line 109 "hashtable.dats"
__ats_lab_1_0:
#line 109 "hashtable.dats"
if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_2_0 ; }
#line 109 "hashtable.dats"
__ats_lab_1_1:
#line 109 "hashtable.dats"
tmp39 = ats_caselptr_mac(anairiats_sum_2, arg0, atslab_0) ;
#line 109 "hashtable.dats"
tmp40 = ats_caselptr_mac(anairiats_sum_2, arg0, atslab_1) ;
#line 109 "hashtable.dats"
tmp41 = &ats_caselptr_mac(anairiats_sum_2, arg0, atslab_2) ;
#line 110 "hashtable.dats"
tmp42 = equal_key_key_01656_ats_ptr_type (arg1, tmp39, arg2) ;
#line 112 "hashtable.dats"
if (tmp42) {
#line 112 "hashtable.dats"
tmp38 = ATS_MALLOC(sizeof(anairiats_sum_3)) ;
ats_selptrset_mac(anairiats_sum_3, tmp38, atslab_0, tmp40) ;
} else {
#line 113 "hashtable.dats"
tmp44 = ats_ptrget_mac(ats_ptr_type, tmp41) ;
#line 113 "hashtable.dats"
arg0 = tmp44 ;
#line 113 "hashtable.dats"
arg1 = arg1 ;
#line 113 "hashtable.dats"
arg2 = arg2 ;
#line 113 "hashtable.dats"
goto __ats_lab_chain_search_032_ats_ptr_type_2cats_ptr_type ; // tail call
} /* end of [if] */
break ;

/* branch: __ats_lab_2 */
#line 118 "hashtable.dats"
__ats_lab_2_0:
#line 118 "hashtable.dats"
// if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 118 "hashtable.dats"
__ats_lab_2_1:
#line 118 "hashtable.dats"
tmp38 = (ats_sum_ptr_type)0 ;
break ;
} while (0) ;
return (tmp38) ;
} /* end of [chain_search_032_ats_ptr_type_2cats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 6506(line=211, offs=50) -- 6917(line=223, offs=4)
*/
ATSstaticdec()
ats_ptr_type
hashtbl_ptr_search_off_071_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2, ats_size_type arg3) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp32) ;
ATSlocal (ats_ptr_type, tmp33) ;
ATSlocal (ats_ptr_type, tmp37) ;
ATSlocal (ats_ptr_type, tmp45) ;

__ats_lab_hashtbl_ptr_search_off_071_ats_ptr_type_2cats_ptr_type:
#line 216 "hashtable.dats"
tmp33 = hashtbl_split_063_ (arg0, arg3) ;
#line 215 "hashtable.dats"
tmp37 = ats_selsin_mac(tmp33, atslab_2) ;
#line 218 "hashtable.dats"
tmp45 = ats_ptrget_mac(ats_ptr_type, tmp37) ;
#line 218 "hashtable.dats"
tmp32 = chain_search_032_ats_ptr_type_2cats_ptr_type (tmp45, arg1, arg2) ;
return (tmp32) ;
} /* end of [hashtbl_ptr_search_off_071_ats_ptr_type_2cats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 13420(line=427, offs=35) -- 13853(line=439, offs=4)
*/
ATSstaticdec()
ats_ptr_type
hashtbl_search_01662_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp22) ;
ATSlocal (ats_ptr_type, tmp23) ;
ATSlocal (ats_ptr_type, tmp24) ;
ATSlocal (ats_size_type, tmp25) ;
ATSlocal (ats_ptr_type, tmp26) ;
ATSlocal (ats_clo_ref_type, tmp27) ;
ATSlocal (ats_clo_ref_type, tmp28) ;
ATSlocal (ats_ulint_type, tmp29) ;
ATSlocal (ats_size_type, tmp31) ;

__ats_lab_hashtbl_search_01662_ats_ptr_type_2cats_ptr_type:
#line 428 "hashtable.dats"
tmp23 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ;
#line 430 "hashtable.dats"
tmp24 = ats_ptrget_mac(ats_ptr_type, tmp23) ;
#line 430 "hashtable.dats"
do {
/* branch: __ats_lab_0 */
#line 431 "hashtable.dats"
__ats_lab_0_0:
#line 431 "hashtable.dats"
if (tmp24 == (ats_sum_ptr_type)0) { goto __ats_lab_3_0 ; }
#line 431 "hashtable.dats"
__ats_lab_0_1:
#line 431 "hashtable.dats"
tmp25 = ats_caselptr_mac(anairiats_sum_0, tmp24, atslab_0) ;
#line 431 "hashtable.dats"
tmp26 = ats_caselptr_mac(anairiats_sum_0, tmp24, atslab_2) ;
#line 431 "hashtable.dats"
tmp27 = ats_caselptr_mac(anairiats_sum_0, tmp24, atslab_3) ;
#line 431 "hashtable.dats"
tmp28 = ats_caselptr_mac(anairiats_sum_0, tmp24, atslab_4) ;
#line 432 "hashtable.dats"
tmp29 = hash_key_01657_ats_ptr_type (arg1, tmp27) ;
#line 433 "hashtable.dats"
tmp31 = atspre_mod1_size1_size1 (ats_castfn_mac(ats_size_type, tmp29), tmp25) ;
#line 434 "hashtable.dats"
tmp22 = hashtbl_ptr_search_off_071_ats_ptr_type_2cats_ptr_type (tmp26, arg1, tmp28, tmp31) ;
break ;

/* branch: __ats_lab_3 */
#line 438 "hashtable.dats"
__ats_lab_3_0:
#line 438 "hashtable.dats"
// if (tmp24 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 438 "hashtable.dats"
__ats_lab_3_1:
#line 438 "hashtable.dats"
tmp22 = (ats_sum_ptr_type)0 ;
break ;
} while (0) ;
return (tmp22) ;
} /* end of [hashtbl_search_01662_ats_ptr_type_2cats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 3357(line=124, offs=3) -- 3462(line=125, offs=31)
*/
ATSstaticdec()
ats_void_type
chain_insert_041_ats_ptr_type_2cats_ptr_type (ats_ref_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
// ATSlocal_void (tmp71) ;
ATSlocal (ats_ptr_type, tmp72) ;

__ats_lab_chain_insert_041_ats_ptr_type_2cats_ptr_type:
#line 125 "hashtable.dats"
tmp72 = ATS_MALLOC(sizeof(anairiats_sum_2)) ;
ats_selptrset_mac(anairiats_sum_2, tmp72, atslab_0, arg1) ;
ats_selptrset_mac(anairiats_sum_2, tmp72, atslab_1, arg2) ;
ats_selptrset_mac(anairiats_sum_2, tmp72, atslab_2, ats_ptrget_mac(ats_ptr_type, arg0)) ;
#line 125 "hashtable.dats"
ats_ptrget_mac(ats_ptr_type, arg0) = tmp72 ;
return /* (tmp71) */ ;
} /* end of [chain_insert_041_ats_ptr_type_2cats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 7075(line=228, offs=50) -- 7534(line=241, offs=4)
*/
ATSstaticdec()
ats_void_type
hashtbl_ptr_insert_off_084_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_size_type arg3) {
/* local vardec */
// ATSlocal_void (tmp68) ;
ATSlocal (ats_ptr_type, tmp69) ;
ATSlocal (ats_ptr_type, tmp70) ;

__ats_lab_hashtbl_ptr_insert_off_084_ats_ptr_type_2cats_ptr_type:
#line 234 "hashtable.dats"
tmp69 = hashtbl_split_063_ (arg0, arg3) ;
#line 233 "hashtable.dats"
tmp70 = ats_selsin_mac(tmp69, atslab_2) ;
#line 236 "hashtable.dats"
/* tmp68 = */ chain_insert_041_ats_ptr_type_2cats_ptr_type (tmp70, arg1, arg2) ;
return /* (tmp68) */ ;
} /* end of [hashtbl_ptr_insert_off_084_ats_ptr_type_2cats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 8498(line=272, offs=47) -- 9351(line=296, offs=4)
*/
ATSstaticdec()
ats_void_type
hashtbl_ptr_insert_chain_0110_ats_ptr_type_2cats_ptr_type (ats_size_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3) {
/* local vardec */
// ATSlocal_void (tmp95) ;
ATSlocal (ats_ptr_type, tmp96) ;
ATSlocal (ats_ptr_type, tmp97) ;
ATSlocal (ats_ptr_type, tmp98) ;
// ATSlocal_void (tmp99) ;
ATSlocal (ats_ulint_type, tmp100) ;
ATSlocal (ats_size_type, tmp101) ;
ATSlocal (ats_ptr_type, tmp102) ;
ATSlocal (ats_ptr_type, tmp103) ;

__ats_lab_hashtbl_ptr_insert_chain_0110_ats_ptr_type_2cats_ptr_type:
#line 279 "hashtable.dats"
do {
/* branch: __ats_lab_9 */
#line 280 "hashtable.dats"
__ats_lab_9_0:
#line 280 "hashtable.dats"
if (arg2 == (ats_sum_ptr_type)0) { goto __ats_lab_10_0 ; }
#line 280 "hashtable.dats"
__ats_lab_9_1:
#line 280 "hashtable.dats"
tmp96 = ats_caselptr_mac(anairiats_sum_2, arg2, atslab_0) ;
#line 280 "hashtable.dats"
tmp97 = ats_caselptr_mac(anairiats_sum_2, arg2, atslab_1) ;
#line 280 "hashtable.dats"
tmp98 = ats_caselptr_mac(anairiats_sum_2, arg2, atslab_2) ;
#line 280 "hashtable.dats"
ATS_FREE(arg2) ;
#line 282 "hashtable.dats"
/* tmp99 = */ hashtbl_ptr_insert_chain_0110_ats_ptr_type_2cats_ptr_type (arg0, arg1, tmp98, arg3) ;
#line 283 "hashtable.dats"
tmp100 = hash_key_01657_ats_ptr_type (tmp96, arg3) ;
#line 285 "hashtable.dats"
tmp101 = atspre_mod1_size1_size1 (ats_castfn_mac(ats_size_type, tmp100), arg0) ;
#line 287 "hashtable.dats"
tmp102 = hashtbl_split_063_ (arg1, tmp101) ;
#line 286 "hashtable.dats"
tmp103 = ats_selsin_mac(tmp102, atslab_2) ;
#line 289 "hashtable.dats"
/* tmp95 = */ chain_insert_041_ats_ptr_type_2cats_ptr_type (tmp103, tmp96, tmp97) ;
break ;

/* branch: __ats_lab_10 */
#line 295 "hashtable.dats"
__ats_lab_10_0:
#line 295 "hashtable.dats"
// if (arg2 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 295 "hashtable.dats"
__ats_lab_10_1:
break ;
} while (0) ;
return /* (tmp95) */ ;
} /* end of [hashtbl_ptr_insert_chain_0110_ats_ptr_type_2cats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 9542(line=303, offs=38) -- 10394(line=325, offs=4)
*/
ATSstaticdec()
ats_void_type
hashtbl_ptr_relocate_0128_ats_ptr_type_2cats_ptr_type (ats_size_type arg0, ats_size_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_clo_ref_type arg4) {
/* local vardec */
// ATSlocal_void (tmp90) ;
ATSlocal (ats_bool_type, tmp91) ;
ATSlocal (ats_ptr_type, tmp92) ;
ATSlocal (ats_ptr_type, tmp93) ;
// ATSlocal_void (tmp94) ;
ATSlocal (ats_size_type, tmp104) ;
ATSlocal (ats_ptr_type, tmp105) ;

__ats_lab_hashtbl_ptr_relocate_0128_ats_ptr_type_2cats_ptr_type:
#line 311 "hashtable.dats"
tmp91 = atspre_gt_size1_int1 (arg0, 0) ;
#line 311 "hashtable.dats"
if (tmp91) {
#line 313 "hashtable.dats"
tmp92 = ats_ptrget_mac(ats_ptr_type, arg2) ;
#line 313 "hashtable.dats"
tmp93 = (ats_sum_ptr_type)0 ;
#line 313 "hashtable.dats"
ats_ptrget_mac(ats_ptr_type, arg2) = tmp93 ;
#line 314 "hashtable.dats"
/* tmp94 = */ hashtbl_ptr_insert_chain_0110_ats_ptr_type_2cats_ptr_type (arg1, arg3, tmp92, arg4) ;
#line 316 "hashtable.dats"
tmp104 = atspre_sub_size1_int1 (arg0, 1) ;
#line 316 "hashtable.dats"
tmp105 = atspre_padd_size (arg2, sizeof(ats_ptr_type)) ;
#line 315 "hashtable.dats"
arg0 = tmp104 ;
#line 315 "hashtable.dats"
arg1 = arg1 ;
#line 315 "hashtable.dats"
arg2 = tmp105 ;
#line 315 "hashtable.dats"
arg3 = arg3 ;
#line 315 "hashtable.dats"
arg4 = arg4 ;
#line 315 "hashtable.dats"
goto __ats_lab_hashtbl_ptr_relocate_0128_ats_ptr_type_2cats_ptr_type ; // tail call
} else {
/* empty */
} /* end of [if] */
return /* (tmp90) */ ;
} /* end of [hashtbl_ptr_relocate_0128_ats_ptr_type_2cats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 13960(line=444, offs=15) -- 14542(line=458, offs=4)
*/
ATSstaticdec()
ats_void_type
hashtbl_resize_0174_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_size_type arg1) {
/* local vardec */
// ATSlocal_void (tmp80) ;
ATSlocal (ats_ptr_type, tmp81) ;
ATSlocal (ats_ptr_type, tmp82) ;
ATSlocal (ats_ptr_type, tmp83) ;
ATSlocal (ats_ptr_type, tmp84) ;
ATSlocal (ats_clo_ref_type, tmp85) ;
ATSlocal (ats_ptr_type, tmp86) ;
ATSlocal (ats_ptr_type, tmp87) ;
ATSlocal (ats_ptr_type, tmp88) ;
// ATSlocal_void (tmp89) ;
ATSlocal (ats_size_type, tmp106) ;
ATSlocal (ats_ptr_type, tmp107) ;
// ATSlocal_void (tmp108) ;

__ats_lab_hashtbl_resize_0174_ats_ptr_type_2cats_ptr_type:
#line 446 "hashtable.dats"
tmp81 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ;
#line 448 "hashtable.dats"
tmp82 = ats_ptrget_mac(ats_ptr_type, tmp81) ;
#line 448 "hashtable.dats"
do {
/* branch: __ats_lab_8 */
#line 449 "hashtable.dats"
__ats_lab_8_0:
#line 449 "hashtable.dats"
if (tmp82 == (ats_sum_ptr_type)0) { goto __ats_lab_11_0 ; }
#line 449 "hashtable.dats"
__ats_lab_8_1:
#line 449 "hashtable.dats"
tmp83 = &ats_caselptr_mac(anairiats_sum_0, tmp82, atslab_0) ;
#line 449 "hashtable.dats"
tmp84 = &ats_caselptr_mac(anairiats_sum_0, tmp82, atslab_2) ;
#line 449 "hashtable.dats"
tmp85 = ats_caselptr_mac(anairiats_sum_0, tmp82, atslab_3) ;
#line 450 "hashtable.dats"
tmp86 = ats_ptrget_mac(ats_ptr_type, tmp84) ;
#line 451 "hashtable.dats"
tmp87 = hashtbl_ptr_make (arg1) ;
#line 451 "hashtable.dats"
tmp88 = ats_selsin_mac(tmp87, atslab_2) ;
#line 452 "hashtable.dats"
tmp106 = ats_ptrget_mac(ats_size_type, tmp83) ;
#line 452 "hashtable.dats"
tmp107 = ats_ptrget_mac(ats_ptr_type, tmp84) ;
#line 452 "hashtable.dats"
/* tmp89 = */ hashtbl_ptr_relocate_0128_ats_ptr_type_2cats_ptr_type (tmp106, arg1, tmp107, tmp88, tmp85) ;
#line 453 "hashtable.dats"
/* tmp108 = */ hashtbl_ptr_free (tmp86) ;
#line 455 "hashtable.dats"
ats_ptrget_mac(ats_size_type, tmp83) = arg1 ;
#line 455 "hashtable.dats"
ats_ptrget_mac(ats_ptr_type, tmp84) = tmp88 ;
break ;

/* branch: __ats_lab_11 */
#line 457 "hashtable.dats"
__ats_lab_11_0:
#line 457 "hashtable.dats"
// if (tmp82 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 457 "hashtable.dats"
__ats_lab_11_1:
break ;
} while (0) ;
return /* (tmp80) */ ;
} /* end of [hashtbl_resize_0174_ats_ptr_type_2cats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 14805(line=468, offs=25) -- 14984(line=473, offs=4)
*/
ATSstaticdec()
ats_void_type
hashtbl_resize_double_0191_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp77) ;
ATSlocal (ats_size_type, tmp78) ;
ATSlocal (ats_bool_type, tmp79) ;
ATSlocal (ats_size_type, tmp109) ;

__ats_lab_hashtbl_resize_double_0191_ats_ptr_type_2cats_ptr_type:
#line 469 "hashtable.dats"
tmp78 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2hashtable_2edats__hashtbl_size (arg0) ;
#line 472 "hashtable.dats"
tmp79 = atspre_gt_size1_int1 (ats_castfn_mac(ats_size_type, tmp78), 0) ;
#line 472 "hashtable.dats"
if (tmp79) {
#line 472 "hashtable.dats"
tmp109 = atspre_add_size1_size1 (ats_castfn_mac(ats_size_type, tmp78), ats_castfn_mac(ats_size_type, tmp78)) ;
#line 472 "hashtable.dats"
/* tmp77 = */ hashtbl_resize_0174_ats_ptr_type_2cats_ptr_type (arg0, tmp109) ;
} else {
/* empty */
} /* end of [if] */
return /* (tmp77) */ ;
} /* end of [hashtbl_resize_double_0191_ats_ptr_type_2cats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/hashtable.dats: 15342(line=485, offs=39) -- 16129(line=507, offs=4)
*/
ATSstaticdec()
ats_ptr_type
hashtbl_insert_err_01663_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp51) ;
ATSlocal (ats_double_type, tmp52) ;
ATSlocal (ats_ptr_type, tmp53) ;
ATSlocal (ats_ptr_type, tmp54) ;
ATSlocal (ats_ptr_type, tmp55) ;
ATSlocal (ats_size_type, tmp56) ;
ATSlocal (ats_ptr_type, tmp57) ;
ATSlocal (ats_ptr_type, tmp58) ;
ATSlocal (ats_clo_ref_type, tmp59) ;
ATSlocal (ats_size_type, tmp60) ;
ATSlocal (ats_size_type, tmp61) ;
ATSlocal (ats_double_type, tmp62) ;
ATSlocal (ats_double_type, tmp63) ;
ATSlocal (ats_double_type, tmp64) ;
ATSlocal (ats_ulint_type, tmp65) ;
ATSlocal (ats_size_type, tmp66) ;
// ATSlocal_void (tmp67) ;
ATSlocal (ats_size_type, tmp73) ;
ATSlocal (ats_size_type, tmp74) ;
// ATSlocal_void (tmp75) ;
ATSlocal (ats_bool_type, tmp76) ;

__ats_lab_hashtbl_insert_err_01663_ats_ptr_type_2cats_ptr_type:
#line 486 "hashtable.dats"
/* ats_double_type tmp52 ; */
#line 486 "hashtable.dats"
tmp52 = 0.0 ;
#line 488 "hashtable.dats"
tmp53 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ;
#line 490 "hashtable.dats"
tmp55 = ats_ptrget_mac(ats_ptr_type, tmp53) ;
#line 490 "hashtable.dats"
do {
/* branch: __ats_lab_6 */
#line 491 "hashtable.dats"
__ats_lab_6_0:
#line 491 "hashtable.dats"
if (tmp55 == (ats_sum_ptr_type)0) { goto __ats_lab_7_0 ; }
#line 491 "hashtable.dats"
__ats_lab_6_1:
#line 491 "hashtable.dats"
tmp56 = ats_caselptr_mac(anairiats_sum_0, tmp55, atslab_0) ;
#line 491 "hashtable.dats"
tmp57 = &ats_caselptr_mac(anairiats_sum_0, tmp55, atslab_1) ;
#line 491 "hashtable.dats"
tmp58 = ats_caselptr_mac(anairiats_sum_0, tmp55, atslab_2) ;
#line 491 "hashtable.dats"
tmp59 = ats_caselptr_mac(anairiats_sum_0, tmp55, atslab_3) ;
#line 492 "hashtable.dats"
tmp61 = ats_ptrget_mac(ats_size_type, tmp57) ;
#line 492 "hashtable.dats"
tmp60 = atspre_add_size1_int1 (tmp61, 1) ;
#line 493 "hashtable.dats"
tmp63 = atspre_double_of_size (tmp60) ;
#line 493 "hashtable.dats"
tmp64 = atspre_double_of_size (tmp56) ;
#line 493 "hashtable.dats"
tmp62 = atspre_div_double_double (tmp63, tmp64) ;
#line 493 "hashtable.dats"
tmp52 = tmp62 ;
#line 494 "hashtable.dats"
tmp65 = hash_key_01657_ats_ptr_type (arg1, tmp59) ;
#line 495 "hashtable.dats"
tmp66 = atspre_mod1_size1_size1 (ats_castfn_mac(ats_size_type, tmp65), tmp56) ;
#line 496 "hashtable.dats"
/* tmp67 = */ hashtbl_ptr_insert_off_084_ats_ptr_type_2cats_ptr_type (tmp58, arg1, arg2, tmp66) ;
#line 498 "hashtable.dats"
tmp74 = ats_ptrget_mac(ats_size_type, tmp57) ;
#line 498 "hashtable.dats"
tmp73 = atspre_add_size1_int1 (tmp74, 1) ;
#line 498 "hashtable.dats"
ats_ptrget_mac(ats_size_type, tmp57) = tmp73 ;
#line 498 "hashtable.dats"
tmp54 = (ats_sum_ptr_type)0 ;
break ;

/* branch: __ats_lab_7 */
#line 500 "hashtable.dats"
__ats_lab_7_0:
#line 500 "hashtable.dats"
// if (tmp55 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 500 "hashtable.dats"
__ats_lab_7_1:
#line 500 "hashtable.dats"
tmp54 = ATS_MALLOC(sizeof(anairiats_sum_3)) ;
ats_selptrset_mac(anairiats_sum_3, tmp54, atslab_0, arg2) ;
break ;
} while (0) ;
#line 503 "hashtable.dats"
tmp76 = atspre_gte_double_double (tmp52, 5.0) ;
#line 503 "hashtable.dats"
if (tmp76) {
#line 503 "hashtable.dats"
/* tmp75 = */ hashtbl_resize_double_0191_ats_ptr_type_2cats_ptr_type (arg0) ;
} else {
/* empty */
} /* end of [if] */
#line 506 "hashtable.dats"
tmp51 = tmp54 ;
return (tmp51) ;
} /* end of [hashtbl_insert_err_01663_ats_ptr_type_2cats_ptr_type] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/symbol.dats: 833(line=44, offs=28) -- 1339(line=59, offs=4)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp20) ;
ATSlocal (ats_ptr_type, tmp21) ;
ATSlocal (ats_ptr_type, tmp46) ;
ATSlocal (ats_int_type, tmp47) ;
ATSlocal (ats_int_type, tmp48) ;
ATSlocal (ats_ptr_type, tmp49) ;
ATSlocal (ats_ptr_type, tmp50) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name:
#line 45 "symbol.dats"
tmp21 = hashtbl_search_01662_ats_ptr_type_2cats_ptr_type (statmp4, arg0) ;
#line 47 "symbol.dats"
do {
/* branch: __ats_lab_4 */
#line 48 "symbol.dats"
__ats_lab_4_0:
#line 48 "symbol.dats"
if (tmp21 == (ats_sum_ptr_type)0) { goto __ats_lab_5_0 ; }
#line 48 "symbol.dats"
__ats_lab_4_1:
#line 48 "symbol.dats"
tmp46 = ats_caselptr_mac(anairiats_sum_3, tmp21, atslab_0) ;
#line 48 "symbol.dats"
ATS_FREE(tmp21) ;
#line 48 "symbol.dats"
tmp20 = tmp46 ;
break ;

/* branch: __ats_lab_5 */
#line 48 "symbol.dats"
__ats_lab_5_0:
#line 48 "symbol.dats"
// if (tmp21 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 48 "symbol.dats"
__ats_lab_5_1:
#line 49 "symbol.dats"
tmp47 = ats_ptrget_mac(ats_int_type, statmp15) ;
#line 49 "symbol.dats"
tmp48 = atspre_add_int_int (tmp47, 1) ;
#line 49 "symbol.dats"
ats_ptrget_mac(ats_int_type, statmp15) = tmp48 ;
#line 50 "symbol.dats"
tmp49 = symbol_make_name_index_8 (arg0, tmp47) ;
#line 51 "symbol.dats"
tmp50 = hashtbl_insert_err_01663_ats_ptr_type_2cats_ptr_type (statmp4, arg0, tmp49) ;
#line 54 "symbol.dats"
do {
/* branch: __ats_lab_12 */
#line 54 "symbol.dats"
__ats_lab_12_0:
#line 54 "symbol.dats"
if (tmp50 == (ats_sum_ptr_type)0) { goto __ats_lab_13_0 ; }
#line 54 "symbol.dats"
__ats_lab_12_1:
#line 54 "symbol.dats"
ATS_FREE(tmp50) ;
break ;

/* branch: __ats_lab_13 */
#line 54 "symbol.dats"
__ats_lab_13_0:
#line 54 "symbol.dats"
// if (tmp50 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
#line 54 "symbol.dats"
__ats_lab_13_1:
break ;
} while (0) ;
#line 57 "symbol.dats"
tmp20 = tmp49 ;
break ;
} while (0) ;
return (tmp20) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/symbol.dats: 1391(line=61, offs=27) -- 1410(line=61, offs=46)
*/
ATSglobaldec()
ats_ptr_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_name_get (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp111) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_name_get:
#line 61 "symbol.dats"
tmp111 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg0), atslab_symbol_name) ;
return (tmp111) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_name_get] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/symbol.dats: 1440(line=65, offs=25) -- 1478(line=65, offs=63)
*/
ATSglobaldec()
ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__fprint_symbol (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp112) ;
ATSlocal (ats_ptr_type, tmp113) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__fprint_symbol:
#line 65 "symbol.dats"
tmp113 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg1), atslab_symbol_name) ;
#line 65 "symbol.dats"
/* tmp112 = */ atspre_fprint_string (arg0, tmp113) ;
return /* (tmp112) */ ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__fprint_symbol] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/symbol.dats: 1607(line=74, offs=24) -- 1642(line=74, offs=59)
*/
ATSglobaldec()
ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__print_symbol (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp114) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__print_symbol:
#line 74 "symbol.dats"
/* tmp114 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__fprint_symbol (stdout, arg0) ;
return /* (tmp114) */ ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__print_symbol] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/symbol.dats: 1666(line=75, offs=24) -- 1701(line=75, offs=59)
*/
ATSglobaldec()
ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__prerr_symbol (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp115) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__prerr_symbol:
#line 75 "symbol.dats"
/* tmp115 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__fprint_symbol (stderr, arg0) ;
return /* (tmp115) */ ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__prerr_symbol] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/symbol.dats: 1736(line=80, offs=3) -- 1780(line=80, offs=47)
*/
ATSglobaldec()
ats_bool_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__eq_symbol_symbol (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_bool_type, tmp116) ;
ATSlocal (ats_int_type, tmp117) ;
ATSlocal (ats_int_type, tmp118) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__eq_symbol_symbol:
#line 80 "symbol.dats"
tmp117 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg0), atslab_symbol_index) ;
#line 80 "symbol.dats"
tmp118 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg1), atslab_symbol_index) ;
#line 80 "symbol.dats"
tmp116 = atspre_eq_int_int (tmp117, tmp118) ;
return (tmp116) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__eq_symbol_symbol] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/symbol.dats: 1841(line=84, offs=3) -- 1886(line=84, offs=48)
*/
ATSglobaldec()
ats_bool_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__neq_symbol_symbol (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_bool_type, tmp119) ;
ATSlocal (ats_int_type, tmp120) ;
ATSlocal (ats_int_type, tmp121) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__neq_symbol_symbol:
#line 84 "symbol.dats"
tmp120 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg0), atslab_symbol_index) ;
#line 84 "symbol.dats"
tmp121 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg1), atslab_symbol_index) ;
#line 84 "symbol.dats"
tmp119 = atspre_neq_int_int (tmp120, tmp121) ;
return (tmp119) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__neq_symbol_symbol] */

/*
// /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/symbol.dats: 1949(line=87, offs=33) -- 2004(line=88, offs=45)
*/
ATSglobaldec()
ats_int_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__compare_symbol_symbol (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_int_type, tmp122) ;
ATSlocal (ats_int_type, tmp123) ;
ATSlocal (ats_int_type, tmp124) ;

__ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__compare_symbol_symbol:
#line 88 "symbol.dats"
tmp123 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg0), atslab_symbol_index) ;
#line 88 "symbol.dats"
tmp124 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg1), atslab_symbol_index) ;
#line 88 "symbol.dats"
tmp122 = atspre_compare_int_int (tmp123, tmp124) ;
return (tmp122) ;
} /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__compare_symbol_symbol] */

/* static load function */

extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__staload (void) ;
extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2hashtable_2edats__staload (void) ;
extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2reference_2edats__staload (void) ;

ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2edats__staload () {
static int _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2edats__staload_flag = 0 ;
if (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2edats__staload_flag) return ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2edats__staload_flag = 1 ;

_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__staload () ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2hashtable_2edats__staload () ;
ATS_2d0_2e2_2e6_2prelude_2DATS_2reference_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_2symbol_2edats__dynload_flag ;

ats_void_type
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2edats__dynload () {
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2edats__dynload_flag = 1 ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2hashtable_2edats__hashtbl_v_split_prfck () ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2hashtable_2edats__hashtbl_v_unsplit_prfck () ;
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */
ATS_GC_MARKROOT(&statmp1, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp3, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp4, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp15, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp125, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp126, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp127, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp128, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp129, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp130, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp131, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp132, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp133, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp134, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp135, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp136, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp137, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp138, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp139, sizeof(ats_ptr_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
#line 30 "symbol.dats"
statmp1 = __ats_fun_0_closure_make () ;
#line 31 "symbol.dats"
statmp3 = __ats_fun_1_closure_make () ;
#line 29 "symbol.dats"
statmp4 = hashtbl_make_01660_ats_ptr_type_2cats_ptr_type (statmp1, statmp3) ;
#line 34 "symbol.dats"
statmp15 = ref_make_elt_01024_ats_int_type (0) ;
#line 95 "symbol.dats"
statmp125 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("int")) ;
#line 95 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_INT, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_INT = statmp125 ;
#line 96 "symbol.dats"
statmp126 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("nil")) ;
#line 96 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_NIL, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_NIL = statmp126 ;
#line 97 "symbol.dats"
statmp127 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("string")) ;
#line 97 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_STRING, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_STRING = statmp127 ;
#line 98 "symbol.dats"
statmp128 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("unit")) ;
#line 98 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_UNIT, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_UNIT = statmp128 ;
#line 100 "symbol.dats"
statmp129 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("chr")) ;
#line 100 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_CHR, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_CHR = statmp129 ;
#line 101 "symbol.dats"
statmp130 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("concat")) ;
#line 101 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_CONCAT, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_CONCAT = statmp130 ;
#line 102 "symbol.dats"
statmp131 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("exit")) ;
#line 102 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_EXIT, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_EXIT = statmp131 ;
#line 103 "symbol.dats"
statmp132 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("flush")) ;
#line 103 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_FLUSH, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_FLUSH = statmp132 ;
#line 104 "symbol.dats"
statmp133 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("getchar")) ;
#line 104 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_GETCHAR, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_GETCHAR = statmp133 ;
#line 105 "symbol.dats"
statmp134 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("not")) ;
#line 105 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_NOT, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_NOT = statmp134 ;
#line 106 "symbol.dats"
statmp135 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("ord")) ;
#line 106 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_ORD, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_ORD = statmp135 ;
#line 107 "symbol.dats"
statmp136 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("print")) ;
#line 107 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_PRINT, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_PRINT = statmp136 ;
#line 108 "symbol.dats"
statmp137 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("print_int")) ;
#line 108 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_PRINT_INT, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_PRINT_INT = statmp137 ;
#line 109 "symbol.dats"
statmp138 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("size")) ;
#line 109 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_SIZE, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_SIZE = statmp138 ;
#line 110 "symbol.dats"
statmp139 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_make_name (ATSstrcst("substring")) ;
#line 110 "symbol.dats"
ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_SUBSTRING, sizeof(ats_ptr_type)) ;
_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_SUBSTRING = statmp139 ;
return ;
} /* end of [dynload function] */

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

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

/* end of [symbol_dats.c] */