/*
**
** The C code is generated by [ATS/Postiats-0-4-1]
**
*/

/*
** include runtime header files
*/
#ifndef _ATS_CCOMP_HEADER_NONE_
#include "pats_ccomp_config.h"
#include "pats_ccomp_basics.h"
#include "pats_ccomp_typedefs.h"
#include "pats_ccomp_instrset.h"
#include "pats_ccomp_memalloc.h"
#ifndef _ATS_CCOMP_EXCEPTION_NONE_
#include "pats_ccomp_memalloca.h"
#include "pats_ccomp_exception.h"
#endif // end of [_ATS_CCOMP_EXCEPTION_NONE_]
#endif /* _ATS_CCOMP_HEADER_NONE_ */


/*
** include prelude cats files
*/
#ifndef _ATS_CCOMP_PRELUDE_NONE_
//
#include "prelude/CATS/basics.cats"
#include "prelude/CATS/integer.cats"
#include "prelude/CATS/pointer.cats"
#include "prelude/CATS/integer_long.cats"
#include "prelude/CATS/integer_size.cats"
#include "prelude/CATS/integer_short.cats"
#include "prelude/CATS/bool.cats"
#include "prelude/CATS/char.cats"
#include "prelude/CATS/float.cats"
#include "prelude/CATS/integer_ptr.cats"
#include "prelude/CATS/integer_fixed.cats"
#include "prelude/CATS/memory.cats"
#include "prelude/CATS/string.cats"
#include "prelude/CATS/strptr.cats"
//
#include "prelude/CATS/fprintf.cats"
//
#include "prelude/CATS/filebas.cats"
//
#include "prelude/CATS/list.cats"
#include "prelude/CATS/option.cats"
#include "prelude/CATS/array.cats"
#include "prelude/CATS/arrayptr.cats"
#include "prelude/CATS/arrayref.cats"
#include "prelude/CATS/matrix.cats"
#include "prelude/CATS/matrixptr.cats"
//
#endif /* _ATS_CCOMP_PRELUDE_NONE_ */
/*
** for user-supplied prelude
*/
#ifdef _ATS_CCOMP_PRELUDE_USER_
//
#include _ATS_CCOMP_PRELUDE_USER_
//
#endif /* _ATS_CCOMP_PRELUDE_USER_ */
/*
** for user2-supplied prelude
*/
#ifdef _ATS_CCOMP_PRELUDE_USER2_
//
#include _ATS_CCOMP_PRELUDE_USER2_
//
#endif /* _ATS_CCOMP_PRELUDE_USER2_ */

/*
staload-prologues(beg)
*/
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/libats/libc/SATS/stdio.sats: 1390(line=36, offs=1) -- 1437(line=39, offs=3)
*/

#include \
"libats/libc/CATS/stdio.cats"
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/libats/libc/SATS/sys/types.sats: 1390(line=36, offs=1) -- 1441(line=39, offs=3)
*/

#include \
"libats/libc/CATS/sys/types.cats"
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/libats/libc/SATS/sys/stat.sats: 1390(line=36, offs=1) -- 1440(line=39, offs=3)
*/

#include \
"libats/libc/CATS/sys/stat.cats"
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/libats/libc/SATS/sys/types.sats: 1390(line=36, offs=1) -- 1441(line=39, offs=3)
*/

#include \
"libats/libc/CATS/sys/types.cats"
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/libats/libc/SATS/stdio.sats: 1390(line=36, offs=1) -- 1437(line=39, offs=3)
*/

#include \
"libats/libc/CATS/stdio.cats"
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/libats/libc/SATS/sys/types.sats: 1390(line=36, offs=1) -- 1441(line=39, offs=3)
*/

#include \
"libats/libc/CATS/sys/types.cats"
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libgmp/SATS/gmp.sats: 1178(line=38, offs=1) -- 1236(line=43, offs=3)
*/

//
#include \
"atscntrb-hx-libgmp/CATS/gmp.cats"
//
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/contrib/atscntrb/atscntrb-hx-libgmp/SATS/gmp.sats: 1178(line=38, offs=1) -- 1236(line=43, offs=3)
*/

//
#include \
"atscntrb-hx-libgmp/CATS/gmp.cats"
//
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/libats/libc/SATS/math.sats: 1380(line=35, offs=1) -- 1426(line=38, offs=3)
*/

#include \
"libats/libc/CATS/math.cats"
/*
staload-prologues(end)
*/
/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 204(line=9, offs=1) -- 372(line=15, offs=3)
*/
ATSextcode_beg()
#ifndef LIBRARY_BUILD
#define ATS_MEMALLOC_LIBC
#include "ccomp/runtime/pats_ccomp_memalloc_libc.h"
#include "ccomp/runtime/pats_ccomp_runtime_memalloc.c"
#endif
ATSextcode_end()
/*
typedefs-for-tyrecs-and-tysums(beg)
*/
/*
typedefs-for-tyrecs-and-tysums(end)
*/
/*
dynconlst-declaration(beg)
*/
/*
dynconlst-declaration(end)
*/
/*
dyncstlst-declaration(beg)
*/
ATSdyncst_mac(atspre_ptr_alloc_tsz)
ATSdyncst_mac(atscntrb_gmp_mpz_init)
ATSdyncst_mac(atscntrb_gmp_mpz_fib_uint)
ATSdyncst_mac(atscntrb_gmp_mpz_init_set_int)
ATSdyncst_mac(atspre_g1int_add_int)
ATSdyncst_mac(atspre_g1int_sub_int)
ATSdyncst_mac(atscntrb_gmp_mpz_mul2_int)
ATSdyncst_mac(atspre_g1int2int_int_int)
ATSdyncst_mac(atspre_g1int_gt_int)
ATSdyncst_mac(atspre_g1int_half_int)
ATSdyncst_mac(atspre_g0int_mod_int)
ATSdyncst_mac(atspre_g0int2int_int_int)
ATSdyncst_mac(atspre_g0int_eq_int)
ATSdyncst_mac(atspre_g0int_mul_int)
ATSdyncst_mac(atspre_g1int_eq_int)
ATSdyncst_mac(atscntrb_gmp_mpz_cmp_int)
ATSdyncst_mac(atspre_g0int_lt_int)
ATSdyncst_mac(atspre_g1int_neg_int)
ATSdyncst_mac(atspre_g0int_gt_int)
ATSdyncst_mac(atscntrb_gmp_mpz_init_set_mpz)
ATSdyncst_mac(atscntrb_gmp_mpz_mul2_mpz)
ATSdyncst_mac(atscntrb_gmp_mpz_clear)
ATSdyncst_mac(atspre_ptr_free)
ATSdyncst_mac(atspre_g0float2int_double_int)
ATSdyncst_mac(atslib_libats_libc_sqrt_double)
ATSdyncst_mac(atspre_g0int2float_int_double)
ATSdyncst_mac(atspre_g1int_lt_int)
ATSdyncst_mac(atspre_g1int_div_int)
/*
dyncstlst-declaration(end)
*/
/*
dynvalist-implementation(beg)
*/
/*
dynvalist-implementation(end)
*/
/*
exnconlst-declaration(beg)
*/
#ifndef _ATS_CCOMP_EXCEPTION_NONE_
ATSextern()
atsvoid_t0ype
the_atsexncon_initize
(
  atstype_exnconptr d2c, atstype_string exnmsg
) ;
#endif // end of [_ATS_CCOMP_EXCEPTION_NONE_]
/*
exnconlst-declaration(end)
*/
/*
extypelst-declaration(beg)
*/
/*
extypelst-declaration(end)
*/
/*
assumelst-declaration(beg)
*/
#ifndef _ATS_CCOMP_ASSUME_CHECK_NONE_
#endif // #ifndef(_ATS_CCOMP_ASSUME_CHECK_NONE_)
/*
assumelst-declaration(end)
*/
ATSstatic()
atstkind_type(atstype_ptrk)
fib_gmp_0(atstkind_t0ype(atstype_uint)) ;

#if(0)
#if(0)
ATSextern()
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1() ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1__1() ;

ATSstatic()
atsvoid_t0ype
rising_fac_ref_3(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int), atsrefarg1_type(atstkind_type(atstype_ptrk))) ;

#if(0)
#if(0)
ATSextern()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4(atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4__1(atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1__2() ;

ATSstatic()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4__2(atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1__3() ;

#if(0)
#if(0)
ATSextern()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_int__11(atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_int__11__1(atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_type(atstype_ptrk)
rising_fac_13(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_int)
exp_14(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

#if(0)
#if(0)
ATSextern()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gt_g1int_int__15(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gt_g1int_int__15__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

#if(0)
#if(0)
ATSextern()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_type(atstype_ptrk)
big_exp_26(atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_int)) ;

#if(0)
#if(0)
ATSextern()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g1int_int__27(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g1int_int__27__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

#if(0)
#if(0)
ATSextern()
atstkind_t0ype(atstype_int)
ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__30(atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_t0ype(atstype_int)
ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__30__1(atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_int)) ;

#if(0)
#if(0)
ATSextern()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__lt_g0int_int__32(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__lt_g0int_int__32__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

#if(0)
#if(0)
ATSextern()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gt_g0int_int__36(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gt_g0int_int__36__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gt_g1int_int__15__2(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21__2(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

#if(0)
#if(0)
ATSextern()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__square_intinf0__41(atstkind_type(atstype_ptrk)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__square_intinf0__41__1(atstkind_type(atstype_ptrk)) ;

#if(0)
#if(0)
ATSextern()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__square_intinf1__43(atsrefarg0_type(atstkind_type(atstype_ptrk))) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__square_intinf1__43__1(atsrefarg0_type(atstkind_type(atstype_ptrk))) ;

ATSstatic()
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1__4() ;

#if(0)
#if(0)
ATSextern()
atsvoid_t0ype
ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46(atstkind_type(atstype_ptrk)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atsvoid_t0ype
ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46__1(atstkind_type(atstype_ptrk)) ;

ATSstatic()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__square_intinf1__43__2(atsrefarg0_type(atstkind_type(atstype_ptrk))) ;

ATSstatic()
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1__5() ;

#if(0)
#if(0)
ATSextern()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__50(atstkind_type(atstype_ptrk), atsrefarg0_type(atstkind_type(atstype_ptrk))) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__50__1(atstkind_type(atstype_ptrk), atsrefarg0_type(atstkind_type(atstype_ptrk))) ;

ATSstatic()
atsvoid_t0ype
ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46__2(atstkind_type(atstype_ptrk)) ;

ATSstatic()
atsvoid_t0ype
ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46__3(atstkind_type(atstype_ptrk)) ;

ATSstatic()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4__3(atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1__6() ;

ATSstatic()
atstkind_t0ype(atstype_int)
sqrt_int_56(atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
is_prime_58(atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
loop_59(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

#if(0)
#if(0)
ATSextern()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__lt_g1int_int__60(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__lt_g1int_int__60__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21__3(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g1int_int__27__2(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21__4(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
is_semiprime_66(atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
loop_67(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__lt_g1int_int__60__2(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21__5(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g1int_int__27__3(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstatic()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21__6(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

#if(0)
ATSextern()
atstkind_t0ype(atstype_bool)
is_prime_ats(atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]

#if(0)
ATSextern()
atstkind_type(atstype_ptrk)
rising_fac_ats(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]

#if(0)
ATSextern()
atstkind_t0ype(atstype_bool)
is_semiprime_ats(atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]

#if(0)
ATSextern()
atstkind_t0ype(atstype_int)
exp_ats(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 414(line=12, offs=4) -- 587(line=19, offs=6)
*/
/*
local: 
global: fib_gmp_0$0(level=0)
local: 
global: 
*/
ATSstatic()
atstkind_type(atstype_ptrk)
fib_gmp_0(atstkind_t0ype(atstype_uint) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret0, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmpref1, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp4) ;
// ATStmpdec_void(tmp5) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 414(line=12, offs=4) -- 587(line=19, offs=6)
*/
ATSINSflab(__patsflab_fib_gmp_0):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 451(line=13, offs=3) -- 587(line=19, offs=6)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 463(line=14, offs=9) -- 464(line=14, offs=10)
*/
/*
ATSINStmpdec(tmpref1) ;
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 467(line=14, offs=13) -- 478(line=14, offs=24)
*/
ATSINSmove(tmpref1, ATSLIB_056_prelude__ptr_alloc__1__1()) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 492(line=15, offs=14) -- 513(line=15, offs=35)
*/
ATSINSmove_void(tmp4, atscntrb_gmp_mpz_init(ATSPMVrefarg1(ATSSELrecsin(tmpref1, atstkind_type(atstype_ptrk), atslab__2)))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 527(line=16, offs=14) -- 555(line=16, offs=42)
*/
ATSINSmove_void(tmp5, atscntrb_gmp_mpz_fib_uint(ATSPMVrefarg1(ATSSELrecsin(tmpref1, atstkind_type(atstype_ptrk), atslab__2)), arg0)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 565(line=18, offs=5) -- 580(line=18, offs=20)
*/
ATSINSmove(tmpret0, ATSPMVcastfn(castvwtp0, atstkind_type(atstype_ptrk), tmpref1)) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 451(line=13, offs=3) -- 587(line=19, offs=6)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret0) ;
} /* end of [fib_gmp_0] */

#if(0)
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats: 3717(line=184, offs=10) -- 3749(line=184, offs=42)
*/
/*
local: 
global: ptr_alloc$1$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = a(4746)
tmparg = S2Evar(a(4746))
tmpsub = None()
*/
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1()
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret2, atstkind_type(atstype_ptrk)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3708(line=184, offs=1) -- 3749(line=184, offs=42)
*/
ATSINSflab(__patsflab_ptr_alloc):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3722(line=184, offs=15) -- 3749(line=184, offs=42)
*/
ATSINSmove(tmpret2, atspre_ptr_alloc_tsz(ATSPMVsizeof(atstyvar_type(a)))) ;

ATSfunbody_end()
ATSreturn(tmpret2) ;
} /* end of [ATSLIB_056_prelude__ptr_alloc__1] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats: 3717(line=184, offs=10) -- 3749(line=184, offs=42)
*/
/*
local: 
global: ptr_alloc$1$1(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = a(4746)
tmparg = S2Evar(a(4746))
tmpsub = Some(a(4746) -> S2EVar(5565))
*/
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1__1()
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret2__1, atstkind_type(atstype_ptrk)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3708(line=184, offs=1) -- 3749(line=184, offs=42)
*/
ATSINSflab(__patsflab_ptr_alloc):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3722(line=184, offs=15) -- 3749(line=184, offs=42)
*/
ATSINSmove(tmpret2__1, atspre_ptr_alloc_tsz(ATSPMVsizeof(atscntrb_gmp_mpz))) ;

ATSfunbody_end()
ATSreturn(tmpret2__1) ;
} /* end of [ATSLIB_056_prelude__ptr_alloc__1__1] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 620(line=22, offs=5) -- 902(line=30, offs=8)
*/
/*
local: rising_fac_ref_3$0(level=0)
global: rising_fac_ref_3$0(level=0)
local: 
global: 
*/
ATSstatic()
atsvoid_t0ype
rising_fac_ref_3(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1, atsrefarg1_type(atstkind_type(atstype_ptrk)) arg2)
{
/* tmpvardeclst(beg) */
// ATStmpdec_void(tmpret6) ;
ATStmpdec(tmp7, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp15, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp20) ;
ATStmpdec(tmp21, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp22, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp23, atstkind_type(atstype_ptrk)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 620(line=22, offs=5) -- 902(line=30, offs=8)
*/
ATSINSflab(__patsflab_rising_fac_ref_3):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 711(line=23, offs=3) -- 902(line=30, offs=8)
*/
ATScaseof_beg()
/*
** ibranchlst-beg
*/
ATSbranch_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 728(line=24, offs=7) -- 729(line=24, offs=8)
*/
ATSINSlab(__atstmplab0):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 662(line=22, offs=47) -- 663(line=22, offs=48)
*/
ATSifnthen(ATSCKpat_int(arg1, ATSPMVint(0))) { ATSINSgoto(__atstmplab2) ; } ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 729(line=24, offs=8) -- 729(line=24, offs=8)
*/
ATSINSlab(__atstmplab1):
/*
emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0)
*/
/*
ibranch-mbody:
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 740(line=24, offs=19) -- 753(line=24, offs=32)
*/
ATSINSmove(tmp7, ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4__1(ATSPMVi0nt(1))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 733(line=24, offs=12) -- 753(line=24, offs=32)
*/
ATSINSstore(ATSderef(arg2, atstkind_type(atstype_ptrk)), tmp7) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 733(line=24, offs=12) -- 753(line=24, offs=32)
*/
ATSINSmove_void(tmpret6, ATSPMVempty()) ;
ATSbranch_end()

ATSbranch_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 760(line=25, offs=7) -- 761(line=25, offs=8)
*/
ATSINSlab(__atstmplab2):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 662(line=22, offs=47) -- 663(line=22, offs=48)
*/
ATSifnthen(ATSCKpat_int(arg1, ATSPMVint(1))) { ATSINSgoto(__atstmplab4) ; } ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 761(line=25, offs=8) -- 761(line=25, offs=8)
*/
ATSINSlab(__atstmplab3):
/*
emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0)
*/
/*
ibranch-mbody:
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 772(line=25, offs=19) -- 784(line=25, offs=31)
*/
ATSINSmove(tmp15, ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4__2(arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 765(line=25, offs=12) -- 784(line=25, offs=31)
*/
ATSINSstore(ATSderef(arg2, atstkind_type(atstype_ptrk)), tmp15) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 765(line=25, offs=12) -- 784(line=25, offs=31)
*/
ATSINSmove_void(tmpret6, ATSPMVempty()) ;
ATSbranch_end()

ATSbranch_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 793(line=26, offs=8) -- 793(line=26, offs=8)
*/
ATSINSlab(__atstmplab4):
/*
emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0)
*/
/*
ibranch-mbody:
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 798(line=26, offs=13) -- 902(line=30, offs=8)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 832(line=27, offs=31) -- 837(line=27, offs=36)
*/
ATSINSmove(tmp21, atspre_g1int_add_int(arg0, ATSPMVi0nt(1))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 839(line=27, offs=38) -- 844(line=27, offs=43)
*/
ATSINSmove(tmp22, atspre_g1int_sub_int(arg1, ATSPMVi0nt(1))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 817(line=27, offs=16) -- 850(line=27, offs=49)
*/
ATSINSmove_void(tmp20, rising_fac_ref_3(tmp21, tmp22, ATSPMVrefarg1(arg2))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 871(line=29, offs=14) -- 894(line=29, offs=37)
*/
ATSINSmove(tmp23, ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_int__11__1(ATSderef(arg2, atstkind_type(atstype_ptrk)), arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 864(line=29, offs=7) -- 894(line=29, offs=37)
*/
ATSINSstore(ATSderef(arg2, atstkind_type(atstype_ptrk)), tmp23) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 864(line=29, offs=7) -- 894(line=29, offs=37)
*/
ATSINSmove_void(tmpret6, ATSPMVempty()) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 798(line=26, offs=13) -- 902(line=30, offs=8)
*/
/*
INSletpop()
*/
ATSbranch_end()

/*
** ibranchlst-end
*/
ATScaseof_end()

ATSfunbody_end()
ATSreturn_void(tmpret6) ;
} /* end of [rising_fac_ref_3] */

#if(0)
/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2209(line=74, offs=3) -- 2301(line=80, offs=2)
*/
/*
local: 
global: intinf_make_int$4$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4(atstkind_t0ype(atstype_int) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret8, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp9, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp10) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2191(line=73, offs=1) -- 2301(line=80, offs=2)
*/
ATSINSflab(__patsflab_intinf_make_int):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2215(line=74, offs=9) -- 2301(line=80, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2238(line=77, offs=9) -- 2254(line=77, offs=25)
*/
ATSINSmove(tmp9, PMVtmpltcst(ptr_alloc<S2Ecst(mpz_vt0ype)>)()) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2264(line=78, offs=10) -- 2296(line=78, offs=42)
*/
ATSINSmove_void(tmp10, atscntrb_gmp_mpz_init_set_int(ATSPMVrefarg1(ATSSELrecsin(tmp9, atstkind_type(atstype_ptrk), atslab__2)), arg0)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2216(line=74, offs=10) -- 2217(line=74, offs=11)
*/
ATSINSmove(tmpret8, tmp9) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2215(line=74, offs=9) -- 2301(line=80, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret8) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2209(line=74, offs=3) -- 2301(line=80, offs=2)
*/
/*
local: 
global: intinf_make_int$4$1(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4__1(atstkind_t0ype(atstype_int) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret8__1, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp9__1, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp10__1) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2191(line=73, offs=1) -- 2301(line=80, offs=2)
*/
ATSINSflab(__patsflab_intinf_make_int):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2215(line=74, offs=9) -- 2301(line=80, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2238(line=77, offs=9) -- 2254(line=77, offs=25)
*/
ATSINSmove(tmp9__1, ATSLIB_056_prelude__ptr_alloc__1__2()) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2264(line=78, offs=10) -- 2296(line=78, offs=42)
*/
ATSINSmove_void(tmp10__1, atscntrb_gmp_mpz_init_set_int(ATSPMVrefarg1(ATSSELrecsin(tmp9__1, atstkind_type(atstype_ptrk), atslab__2)), arg0)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2216(line=74, offs=10) -- 2217(line=74, offs=11)
*/
ATSINSmove(tmpret8__1, tmp9__1) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2215(line=74, offs=9) -- 2301(line=80, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret8__1) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4__1] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats: 3717(line=184, offs=10) -- 3749(line=184, offs=42)
*/
/*
local: 
global: ptr_alloc$1$2(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = a(4746)
tmparg = S2Evar(a(4746))
tmpsub = Some(a(4746) -> S2Ecst(mpz_vt0ype))
*/
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1__2()
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret2__2, atstkind_type(atstype_ptrk)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3708(line=184, offs=1) -- 3749(line=184, offs=42)
*/
ATSINSflab(__patsflab_ptr_alloc):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3722(line=184, offs=15) -- 3749(line=184, offs=42)
*/
ATSINSmove(tmpret2__2, atspre_ptr_alloc_tsz(ATSPMVsizeof(atscntrb_gmp_mpz))) ;

ATSfunbody_end()
ATSreturn(tmpret2__2) ;
} /* end of [ATSLIB_056_prelude__ptr_alloc__1__2] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2209(line=74, offs=3) -- 2301(line=80, offs=2)
*/
/*
local: 
global: intinf_make_int$4$2(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4__2(atstkind_t0ype(atstype_int) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret8__2, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp9__2, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp10__2) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2191(line=73, offs=1) -- 2301(line=80, offs=2)
*/
ATSINSflab(__patsflab_intinf_make_int):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2215(line=74, offs=9) -- 2301(line=80, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2238(line=77, offs=9) -- 2254(line=77, offs=25)
*/
ATSINSmove(tmp9__2, ATSLIB_056_prelude__ptr_alloc__1__3()) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2264(line=78, offs=10) -- 2296(line=78, offs=42)
*/
ATSINSmove_void(tmp10__2, atscntrb_gmp_mpz_init_set_int(ATSPMVrefarg1(ATSSELrecsin(tmp9__2, atstkind_type(atstype_ptrk), atslab__2)), arg0)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2216(line=74, offs=10) -- 2217(line=74, offs=11)
*/
ATSINSmove(tmpret8__2, tmp9__2) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2215(line=74, offs=9) -- 2301(line=80, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret8__2) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4__2] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats: 3717(line=184, offs=10) -- 3749(line=184, offs=42)
*/
/*
local: 
global: ptr_alloc$1$3(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = a(4746)
tmparg = S2Evar(a(4746))
tmpsub = Some(a(4746) -> S2Ecst(mpz_vt0ype))
*/
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1__3()
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret2__3, atstkind_type(atstype_ptrk)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3708(line=184, offs=1) -- 3749(line=184, offs=42)
*/
ATSINSflab(__patsflab_ptr_alloc):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3722(line=184, offs=15) -- 3749(line=184, offs=42)
*/
ATSINSmove(tmpret2__3, atspre_ptr_alloc_tsz(ATSPMVsizeof(atscntrb_gmp_mpz))) ;

ATSfunbody_end()
ATSreturn(tmpret2__3) ;
} /* end of [ATSLIB_056_prelude__ptr_alloc__1__3] */

#if(0)
/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7394(line=413, offs=3) -- 7461(line=418, offs=2)
*/
/*
local: 
global: mul_intinf0_int$11$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_int__11(atstkind_type(atstype_ptrk) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret24, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp25) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7376(line=412, offs=1) -- 7461(line=418, offs=2)
*/
ATSINSflab(__patsflab_mul_intinf0_int):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7403(line=413, offs=12) -- 7461(line=418, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7427(line=416, offs=10) -- 7456(line=416, offs=39)
*/
ATSINSmove_void(tmp25, atscntrb_gmp_mpz_mul2_int(ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)), arg1)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7404(line=413, offs=13) -- 7405(line=413, offs=14)
*/
ATSINSmove(tmpret24, arg0) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7403(line=413, offs=12) -- 7461(line=418, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret24) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_int__11] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7394(line=413, offs=3) -- 7461(line=418, offs=2)
*/
/*
local: 
global: mul_intinf0_int$11$1(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_int__11__1(atstkind_type(atstype_ptrk) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret24__1, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp25__1) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7376(line=412, offs=1) -- 7461(line=418, offs=2)
*/
ATSINSflab(__patsflab_mul_intinf0_int):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7403(line=413, offs=12) -- 7461(line=418, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7427(line=416, offs=10) -- 7456(line=416, offs=39)
*/
ATSINSmove_void(tmp25__1, atscntrb_gmp_mpz_mul2_int(ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)), arg1)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7404(line=413, offs=13) -- 7405(line=413, offs=14)
*/
ATSINSmove(tmpret24__1, arg0) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7403(line=413, offs=12) -- 7461(line=418, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret24__1) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_int__11__1] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 907(line=32, offs=4) -- 1057(line=38, offs=6)
*/
/*
local: rising_fac_ref_3$0(level=0)
global: rising_fac_ref_3$0(level=0), rising_fac_13$0(level=0)
local: 
global: 
*/
ATSstatic()
atstkind_type(atstype_ptrk)
rising_fac_13(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret28, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmpref29, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp30) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 907(line=32, offs=4) -- 1057(line=38, offs=6)
*/
ATSINSflab(__patsflab_rising_fac_13):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 970(line=33, offs=3) -- 1057(line=38, offs=6)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 982(line=34, offs=9) -- 985(line=34, offs=12)
*/
/*
ATSINStmpdec(tmpref29) ;
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1013(line=35, offs=14) -- 1038(line=35, offs=39)
*/
ATSINSmove_void(tmp30, rising_fac_ref_3(arg0, arg1, ATSPMVrefarg1(ATSPMVptrof(tmpref29)))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1048(line=37, offs=5) -- 1051(line=37, offs=8)
*/
ATSINSmove(tmpret28, tmpref29) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 970(line=33, offs=3) -- 1057(line=38, offs=6)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret28) ;
} /* end of [rising_fac_13] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1234(line=43, offs=5) -- 1673(line=64, offs=10)
*/
/*
local: exp_14$0(level=0)
global: exp_14$0(level=0)
local: 
global: 
*/
ATSstatic()
atstkind_t0ype(atstype_int)
exp_14(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(apy0, atstkind_t0ype(atstype_int)) ;
ATStmpdec(apy1, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmpret31, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp32, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmpref37, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmpref38, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp39, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp44, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmpref45, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp46, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp47, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1234(line=43, offs=5) -- 1673(line=64, offs=10)
*/
ATSINSflab(__patsflab_exp_14):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1284(line=44, offs=3) -- 1673(line=64, offs=10)
*/
ATScaseof_beg()
/*
** ibranchlst-beg
*/
ATSbranch_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1301(line=45, offs=7) -- 1302(line=45, offs=8)
*/
ATSINSlab(__atstmplab5):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1253(line=43, offs=24) -- 1254(line=43, offs=25)
*/
ATSifnthen(ATSCKpat_int(arg0, ATSPMVint(0))) { ATSINSgoto(__atstmplab7) ; } ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1302(line=45, offs=8) -- 1302(line=45, offs=8)
*/
ATSINSlab(__atstmplab6):
/*
emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0)
*/
/*
ibranch-mbody:
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1306(line=45, offs=12) -- 1307(line=45, offs=13)
*/
ATSINSmove(tmpret31, ATSPMVi0nt(0)) ;
ATSbranch_end()

ATSbranch_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1315(line=46, offs=8) -- 1315(line=46, offs=8)
*/
ATSINSlab(__atstmplab7):
/*
emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0)
*/
/*
ibranch-mbody:
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1344(line=48, offs=12) -- 1349(line=48, offs=17)
*/
ATSINSmove(tmp32, ATSLIB_056_prelude__gt_g1int_int__15__1(arg1, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1341(line=48, offs=9) -- 1663(line=63, offs=12)
*/
ATSif(
tmp32
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1365(line=49, offs=11) -- 1638(line=61, offs=14)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1385(line=50, offs=17) -- 1387(line=50, offs=19)
*/
/*
ATSINStmpdec(tmpref37) ;
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1390(line=50, offs=22) -- 1396(line=50, offs=28)
*/
ATSINSmove(tmpref37, atspre_g1int_half_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1414(line=51, offs=17) -- 1416(line=51, offs=19)
*/
/*
ATSINStmpdec(tmpref38) ;
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1419(line=51, offs=22) -- 1424(line=51, offs=27)
*/
ATSINSmove(tmpref38, atspre_g0int_mod_int(arg1, ATSPMVi0nt(2))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1453(line=53, offs=16) -- 1459(line=53, offs=22)
*/
ATSINSmove(tmp39, ATSLIB_056_prelude__eq_g0int_int__21__1(tmpref38, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1450(line=53, offs=13) -- 1624(line=60, offs=18)
*/
ATSif(
tmp39
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1483(line=54, offs=19) -- 1488(line=54, offs=24)
*/
ATSINSmove(tmp44, atspre_g0int_mul_int(arg0, arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1479(line=54, offs=15) -- 1493(line=54, offs=29)
*/
ATStailcal_beg()
ATSINSmove_tlcal(apy0, tmp44) ;
ATSINSmove_tlcal(apy1, tmpref37) ;
ATSINSargmove_tlcal(arg0, apy0) ;
ATSINSargmove_tlcal(arg1, apy1) ;
ATSINSfgoto(__patsflab_exp_14) ;
ATStailcal_end()

} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1525(line=56, offs=15) -- 1624(line=60, offs=18)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1549(line=57, offs=21) -- 1550(line=57, offs=22)
*/
/*
ATSINStmpdec(tmpref45) ;
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1561(line=57, offs=33) -- 1566(line=57, offs=38)
*/
ATSINSmove(tmp47, atspre_g0int_mul_int(arg0, arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1557(line=57, offs=29) -- 1571(line=57, offs=43)
*/
ATSINSmove(tmp46, exp_14(tmp47, tmpref37)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1553(line=57, offs=25) -- 1571(line=57, offs=43)
*/
ATSINSmove(tmpref45, atspre_g0int_mul_int(arg0, tmp46)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1605(line=59, offs=17) -- 1606(line=59, offs=18)
*/
ATSINSmove(tmpret31, tmpref45) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1525(line=56, offs=15) -- 1624(line=60, offs=18)
*/
/*
INSletpop()
*/
} /* ATSendif */
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1365(line=49, offs=11) -- 1638(line=61, offs=14)
*/
/*
INSletpop()
*/
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1662(line=63, offs=11) -- 1663(line=63, offs=12)
*/
ATSINSmove(tmpret31, ATSPMVi0nt(1)) ;
} /* ATSendif */
ATSbranch_end()

/*
** ibranchlst-end
*/
ATScaseof_end()

ATSfunbody_end()
ATSreturn(tmpret31) ;
} /* end of [exp_14] */

#if(0)
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12679(line=659, offs=3) -- 12718(line=659, offs=42)
*/
/*
local: 
global: gt_g1int_int$15$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = tk(4643)
tmparg = S2Evar(tk(4643))
tmpsub = None()
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gt_g1int_int__15(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret33, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp34, atstkind_t0ype(atstyvar_type(tk))) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12664(line=658, offs=1) -- 12718(line=659, offs=42)
*/
ATSINSflab(__patsflab_gt_g1int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12705(line=659, offs=29) -- 12716(line=659, offs=40)
*/
ATSINSmove(tmp34, PMVtmpltcst(g1int2int<S2Eextkind(atstype_int), S2Evar(tk(4643))>)(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12688(line=659, offs=12) -- 12718(line=659, offs=42)
*/
ATSINSmove(tmpret33, PMVtmpltcst(g1int_gt<S2Evar(tk(4643))>)(arg0, tmp34)) ;

ATSfunbody_end()
ATSreturn(tmpret33) ;
} /* end of [ATSLIB_056_prelude__gt_g1int_int__15] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12679(line=659, offs=3) -- 12718(line=659, offs=42)
*/
/*
local: 
global: gt_g1int_int$15$1(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4643)
tmparg = S2Evar(tk(4643))
tmpsub = Some(tk(4643) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gt_g1int_int__15__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret33__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp34__1, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12664(line=658, offs=1) -- 12718(line=659, offs=42)
*/
ATSINSflab(__patsflab_gt_g1int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12705(line=659, offs=29) -- 12716(line=659, offs=40)
*/
ATSINSmove(tmp34__1, atspre_g1int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12688(line=659, offs=12) -- 12718(line=659, offs=42)
*/
ATSINSmove(tmpret33__1, atspre_g1int_gt_int(arg0, tmp34__1)) ;

ATSfunbody_end()
ATSreturn(tmpret33__1) ;
} /* end of [ATSLIB_056_prelude__gt_g1int_int__15__1] */

#if(0)
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12259(line=635, offs=3) -- 12298(line=635, offs=42)
*/
/*
local: 
global: eq_g0int_int$21$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = tk(4634)
tmparg = S2Evar(tk(4634))
tmpsub = None()
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret40, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp41, atstkind_t0ype(atstyvar_type(tk))) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12244(line=634, offs=1) -- 12298(line=635, offs=42)
*/
ATSINSflab(__patsflab_eq_g0int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12285(line=635, offs=29) -- 12296(line=635, offs=40)
*/
ATSINSmove(tmp41, PMVtmpltcst(g0int2int<S2Eextkind(atstype_int), S2Evar(tk(4634))>)(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12268(line=635, offs=12) -- 12298(line=635, offs=42)
*/
ATSINSmove(tmpret40, PMVtmpltcst(g0int_eq<S2Evar(tk(4634))>)(arg0, tmp41)) ;

ATSfunbody_end()
ATSreturn(tmpret40) ;
} /* end of [ATSLIB_056_prelude__eq_g0int_int__21] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12259(line=635, offs=3) -- 12298(line=635, offs=42)
*/
/*
local: 
global: eq_g0int_int$21$1(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4634)
tmparg = S2Evar(tk(4634))
tmpsub = Some(tk(4634) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret40__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp41__1, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12244(line=634, offs=1) -- 12298(line=635, offs=42)
*/
ATSINSflab(__patsflab_eq_g0int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12285(line=635, offs=29) -- 12296(line=635, offs=40)
*/
ATSINSmove(tmp41__1, atspre_g0int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12268(line=635, offs=12) -- 12298(line=635, offs=42)
*/
ATSINSmove(tmpret40__1, atspre_g0int_eq_int(arg0, tmp41__1)) ;

ATSfunbody_end()
ATSreturn(tmpret40__1) ;
} /* end of [ATSLIB_056_prelude__eq_g0int_int__21__1] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1711(line=67, offs=5) -- 2319(line=93, offs=39)
*/
/*
local: big_exp_26$0(level=0)
global: big_exp_26$0(level=0)
local: 
global: 
*/
ATSstatic()
atstkind_type(atstype_ptrk)
big_exp_26(atstkind_type(atstype_ptrk) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(apy0, atstkind_type(atstype_ptrk)) ;
ATStmpdec(apy1, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmpret48, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp49, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp54, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp73, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmpref76, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmpref77, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp78, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmpref81, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmpref101, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmpref107, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmpref108, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp113) ;
// ATStmpdec_void(tmp116) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1711(line=67, offs=5) -- 2319(line=93, offs=39)
*/
ATSINSflab(__patsflab_big_exp_26):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1774(line=68, offs=6) -- 1798(line=68, offs=30)
*/
ATSINSmove(tmp54, ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__30__1(ATSPMVrefarg0(arg0), ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1774(line=68, offs=6) -- 1802(line=68, offs=34)
*/
ATSINSmove(tmp49, ATSLIB_056_prelude__eq_g1int_int__27__1(tmp54, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1771(line=68, offs=3) -- 2319(line=93, offs=39)
*/
ATSif(
tmp49
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1812(line=69, offs=5) -- 1813(line=69, offs=6)
*/
ATSINSmove(tmpret48, arg0) ;
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1828(line=71, offs=8) -- 1833(line=71, offs=13)
*/
ATSINSmove(tmp73, ATSLIB_056_prelude__gt_g1int_int__15__2(arg1, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1825(line=71, offs=5) -- 2319(line=93, offs=39)
*/
ATSif(
tmp73
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1845(line=72, offs=7) -- 2271(line=91, offs=10)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1861(line=73, offs=13) -- 1863(line=73, offs=15)
*/
/*
ATSINStmpdec(tmpref76) ;
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1866(line=73, offs=18) -- 1872(line=73, offs=24)
*/
ATSINSmove(tmpref76, atspre_g1int_half_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1886(line=74, offs=13) -- 1888(line=74, offs=15)
*/
/*
ATSINStmpdec(tmpref77) ;
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1891(line=74, offs=18) -- 1896(line=74, offs=23)
*/
ATSINSmove(tmpref77, atspre_g0int_mod_int(arg1, ATSPMVi0nt(2))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1917(line=76, offs=12) -- 1923(line=76, offs=18)
*/
ATSINSmove(tmp78, ATSLIB_056_prelude__eq_g0int_int__21__2(tmpref77, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1914(line=76, offs=9) -- 2261(line=90, offs=14)
*/
ATSif(
tmp78
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1939(line=77, offs=11) -- 2034(line=81, offs=14)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1959(line=78, offs=17) -- 1960(line=78, offs=18)
*/
/*
ATSINStmpdec(tmpref81) ;
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1963(line=78, offs=21) -- 1979(line=78, offs=37)
*/
ATSINSmove(tmpref81, ATSCNTRB_056_HX_056_intinf_vt__square_intinf0__41__1(arg0)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2006(line=80, offs=13) -- 2020(line=80, offs=27)
*/
ATStailcal_beg()
ATSINSmove_tlcal(apy0, tmpref81) ;
ATSINSmove_tlcal(apy1, tmpref76) ;
ATSINSargmove_tlcal(arg0, apy0) ;
ATSINSargmove_tlcal(arg1, apy1) ;
ATSINSfgoto(__patsflab_big_exp_26) ;
ATStailcal_end()

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1939(line=77, offs=11) -- 2034(line=81, offs=14)
*/
/*
INSletpop()
*/
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2058(line=83, offs=11) -- 2261(line=90, offs=14)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2078(line=84, offs=17) -- 2080(line=84, offs=19)
*/
/*
ATSINStmpdec(tmpref101) ;
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2083(line=84, offs=22) -- 2099(line=84, offs=38)
*/
ATSINSmove(tmpref101, ATSCNTRB_056_HX_056_intinf_vt__square_intinf1__43__2(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2117(line=85, offs=17) -- 2119(line=85, offs=19)
*/
/*
ATSINStmpdec(tmpref107) ;
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2122(line=85, offs=22) -- 2137(line=85, offs=37)
*/
ATSINSmove(tmpref107, big_exp_26(tmpref101, tmpref76)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2154(line=86, offs=17) -- 2155(line=86, offs=18)
*/
/*
ATSINStmpdec(tmpref108) ;
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2158(line=86, offs=21) -- 2184(line=86, offs=47)
*/
ATSINSmove(tmpref108, ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__50__1(tmpref107, ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2206(line=87, offs=22) -- 2219(line=87, offs=35)
*/
ATSINSmove_void(tmp113, ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46__2(arg0)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2246(line=89, offs=13) -- 2247(line=89, offs=14)
*/
ATSINSmove(tmpret48, tmpref108) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2058(line=83, offs=11) -- 2261(line=90, offs=14)
*/
/*
INSletpop()
*/
} /* ATSendif */
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 1845(line=72, offs=7) -- 2271(line=91, offs=10)
*/
/*
INSletpop()
*/
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2288(line=93, offs=8) -- 2301(line=93, offs=21)
*/
ATSINSmove_void(tmp116, ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46__3(arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2305(line=93, offs=25) -- 2318(line=93, offs=38)
*/
ATSINSmove(tmpret48, ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4__3(ATSPMVi0nt(1))) ;

} /* ATSendif */
} /* ATSendif */
ATSfunbody_end()
ATSreturn(tmpret48) ;
} /* end of [big_exp_26] */

#if(0)
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12838(line=668, offs=3) -- 12877(line=668, offs=42)
*/
/*
local: 
global: eq_g1int_int$27$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = tk(4649)
tmparg = S2Evar(tk(4649))
tmpsub = None()
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g1int_int__27(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret50, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp51, atstkind_t0ype(atstyvar_type(tk))) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12823(line=667, offs=1) -- 12877(line=668, offs=42)
*/
ATSINSflab(__patsflab_eq_g1int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12864(line=668, offs=29) -- 12875(line=668, offs=40)
*/
ATSINSmove(tmp51, PMVtmpltcst(g1int2int<S2Eextkind(atstype_int), S2Evar(tk(4649))>)(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12847(line=668, offs=12) -- 12877(line=668, offs=42)
*/
ATSINSmove(tmpret50, PMVtmpltcst(g1int_eq<S2Evar(tk(4649))>)(arg0, tmp51)) ;

ATSfunbody_end()
ATSreturn(tmpret50) ;
} /* end of [ATSLIB_056_prelude__eq_g1int_int__27] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12838(line=668, offs=3) -- 12877(line=668, offs=42)
*/
/*
local: 
global: eq_g1int_int$27$1(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4649)
tmparg = S2Evar(tk(4649))
tmpsub = Some(tk(4649) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g1int_int__27__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret50__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp51__1, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12823(line=667, offs=1) -- 12877(line=668, offs=42)
*/
ATSINSflab(__patsflab_eq_g1int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12864(line=668, offs=29) -- 12875(line=668, offs=40)
*/
ATSINSmove(tmp51__1, atspre_g1int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12847(line=668, offs=12) -- 12877(line=668, offs=42)
*/
ATSINSmove(tmpret50__1, atspre_g1int_eq_int(arg0, tmp51__1)) ;

ATSfunbody_end()
ATSreturn(tmpret50__1) ;
} /* end of [ATSLIB_056_prelude__eq_g1int_int__27__1] */

#if(0)
/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13321(line=768, offs=9) -- 13484(line=775, offs=4)
*/
/*
local: 
global: compare_intinf_int$30$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atstkind_t0ype(atstype_int)
ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__30(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret55, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp56, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp57, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp58, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp59, atstkind_t0ype(atstype_bool)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13294(line=767, offs=1) -- 13484(line=775, offs=4)
*/
ATSINSflab(__patsflab_compare_intinf_int):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13330(line=768, offs=18) -- 13484(line=775, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13347(line=770, offs=11) -- 13375(line=770, offs=39)
*/
ATSINSmove(tmp56, atscntrb_gmp_mpz_cmp_int(ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)), arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13390(line=771, offs=15) -- 13397(line=771, offs=22)
*/
ATSINSmove(tmp58, PMVtmpltcst(lt_g0int_int<S2Eextkind(atstype_int)>)(tmp56, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13387(line=771, offs=12) -- 13437(line=771, offs=62)
*/
ATSif(
tmp58
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13403(line=771, offs=28) -- 13405(line=771, offs=30)
*/
ATSINSmove(tmp57, PMVtmpltcst(g1int_neg<S2Eextkind(atstype_int)>)(ATSPMVi0nt(1))) ;

} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13415(line=771, offs=40) -- 13422(line=771, offs=47)
*/
ATSINSmove(tmp59, PMVtmpltcst(gt_g0int_int<S2Eextkind(atstype_int)>)(tmp56, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13412(line=771, offs=37) -- 13436(line=771, offs=61)
*/
ATSif(
tmp59
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13428(line=771, offs=53) -- 13429(line=771, offs=54)
*/
ATSINSmove(tmp57, ATSPMVi0nt(1)) ;
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13435(line=771, offs=60) -- 13436(line=771, offs=61)
*/
ATSINSmove(tmp57, ATSPMVi0nt(0)) ;
} /* ATSendif */
} /* ATSendif */
/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13452(line=774, offs=3) -- 13479(line=774, offs=30)
*/
ATSINSmove(tmpret55, ATSPMVcastfn(cast, atstkind_t0ype(atstype_int), tmp57)) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13330(line=768, offs=18) -- 13484(line=775, offs=4)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret55) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__30] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13321(line=768, offs=9) -- 13484(line=775, offs=4)
*/
/*
local: 
global: compare_intinf_int$30$1(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atstkind_t0ype(atstype_int)
ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__30__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret55__1, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp56__1, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp57__1, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp58__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp59__1, atstkind_t0ype(atstype_bool)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13294(line=767, offs=1) -- 13484(line=775, offs=4)
*/
ATSINSflab(__patsflab_compare_intinf_int):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13330(line=768, offs=18) -- 13484(line=775, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13347(line=770, offs=11) -- 13375(line=770, offs=39)
*/
ATSINSmove(tmp56__1, atscntrb_gmp_mpz_cmp_int(ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)), arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13390(line=771, offs=15) -- 13397(line=771, offs=22)
*/
ATSINSmove(tmp58__1, ATSLIB_056_prelude__lt_g0int_int__32__1(tmp56__1, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13387(line=771, offs=12) -- 13437(line=771, offs=62)
*/
ATSif(
tmp58__1
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13403(line=771, offs=28) -- 13405(line=771, offs=30)
*/
ATSINSmove(tmp57__1, atspre_g1int_neg_int(ATSPMVi0nt(1))) ;

} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13415(line=771, offs=40) -- 13422(line=771, offs=47)
*/
ATSINSmove(tmp59__1, ATSLIB_056_prelude__gt_g0int_int__36__1(tmp56__1, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13412(line=771, offs=37) -- 13436(line=771, offs=61)
*/
ATSif(
tmp59__1
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13428(line=771, offs=53) -- 13429(line=771, offs=54)
*/
ATSINSmove(tmp57__1, ATSPMVi0nt(1)) ;
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13435(line=771, offs=60) -- 13436(line=771, offs=61)
*/
ATSINSmove(tmp57__1, ATSPMVi0nt(0)) ;
} /* ATSendif */
} /* ATSendif */
/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13452(line=774, offs=3) -- 13479(line=774, offs=30)
*/
ATSINSmove(tmpret55__1, ATSPMVcastfn(cast, atstkind_t0ype(atstype_int), tmp57__1)) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13330(line=768, offs=18) -- 13484(line=775, offs=4)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret55__1) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__30__1] */

#if(0)
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 11941(line=617, offs=3) -- 11980(line=617, offs=42)
*/
/*
local: 
global: lt_g0int_int$32$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = tk(4630)
tmparg = S2Evar(tk(4630))
tmpsub = None()
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__lt_g0int_int__32(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret65, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp66, atstkind_t0ype(atstyvar_type(tk))) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11926(line=616, offs=1) -- 11980(line=617, offs=42)
*/
ATSINSflab(__patsflab_lt_g0int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11967(line=617, offs=29) -- 11978(line=617, offs=40)
*/
ATSINSmove(tmp66, PMVtmpltcst(g0int2int<S2Eextkind(atstype_int), S2Evar(tk(4630))>)(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11950(line=617, offs=12) -- 11980(line=617, offs=42)
*/
ATSINSmove(tmpret65, PMVtmpltcst(g0int_lt<S2Evar(tk(4630))>)(arg0, tmp66)) ;

ATSfunbody_end()
ATSreturn(tmpret65) ;
} /* end of [ATSLIB_056_prelude__lt_g0int_int__32] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 11941(line=617, offs=3) -- 11980(line=617, offs=42)
*/
/*
local: 
global: lt_g0int_int$32$1(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4630)
tmparg = S2Evar(tk(4630))
tmpsub = Some(tk(4630) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__lt_g0int_int__32__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret65__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp66__1, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11926(line=616, offs=1) -- 11980(line=617, offs=42)
*/
ATSINSflab(__patsflab_lt_g0int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11967(line=617, offs=29) -- 11978(line=617, offs=40)
*/
ATSINSmove(tmp66__1, atspre_g0int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11950(line=617, offs=12) -- 11980(line=617, offs=42)
*/
ATSINSmove(tmpret65__1, atspre_g0int_lt_int(arg0, tmp66__1)) ;

ATSfunbody_end()
ATSreturn(tmpret65__1) ;
} /* end of [ATSLIB_056_prelude__lt_g0int_int__32__1] */

#if(0)
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12100(line=626, offs=3) -- 12139(line=626, offs=42)
*/
/*
local: 
global: gt_g0int_int$36$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = tk(4632)
tmparg = S2Evar(tk(4632))
tmpsub = None()
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gt_g0int_int__36(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret69, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp70, atstkind_t0ype(atstyvar_type(tk))) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12085(line=625, offs=1) -- 12139(line=626, offs=42)
*/
ATSINSflab(__patsflab_gt_g0int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12126(line=626, offs=29) -- 12137(line=626, offs=40)
*/
ATSINSmove(tmp70, PMVtmpltcst(g0int2int<S2Eextkind(atstype_int), S2Evar(tk(4632))>)(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12109(line=626, offs=12) -- 12139(line=626, offs=42)
*/
ATSINSmove(tmpret69, PMVtmpltcst(g0int_gt<S2Evar(tk(4632))>)(arg0, tmp70)) ;

ATSfunbody_end()
ATSreturn(tmpret69) ;
} /* end of [ATSLIB_056_prelude__gt_g0int_int__36] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12100(line=626, offs=3) -- 12139(line=626, offs=42)
*/
/*
local: 
global: gt_g0int_int$36$1(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4632)
tmparg = S2Evar(tk(4632))
tmpsub = Some(tk(4632) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gt_g0int_int__36__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret69__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp70__1, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12085(line=625, offs=1) -- 12139(line=626, offs=42)
*/
ATSINSflab(__patsflab_gt_g0int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12126(line=626, offs=29) -- 12137(line=626, offs=40)
*/
ATSINSmove(tmp70__1, atspre_g0int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12109(line=626, offs=12) -- 12139(line=626, offs=42)
*/
ATSINSmove(tmpret69__1, atspre_g0int_gt_int(arg0, tmp70__1)) ;

ATSfunbody_end()
ATSreturn(tmpret69__1) ;
} /* end of [ATSLIB_056_prelude__gt_g0int_int__36__1] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12679(line=659, offs=3) -- 12718(line=659, offs=42)
*/
/*
local: 
global: gt_g1int_int$15$2(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4643)
tmparg = S2Evar(tk(4643))
tmpsub = Some(tk(4643) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gt_g1int_int__15__2(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret33__2, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp34__2, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12664(line=658, offs=1) -- 12718(line=659, offs=42)
*/
ATSINSflab(__patsflab_gt_g1int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12705(line=659, offs=29) -- 12716(line=659, offs=40)
*/
ATSINSmove(tmp34__2, atspre_g1int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12688(line=659, offs=12) -- 12718(line=659, offs=42)
*/
ATSINSmove(tmpret33__2, atspre_g1int_gt_int(arg0, tmp34__2)) ;

ATSfunbody_end()
ATSreturn(tmpret33__2) ;
} /* end of [ATSLIB_056_prelude__gt_g1int_int__15__2] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12259(line=635, offs=3) -- 12298(line=635, offs=42)
*/
/*
local: 
global: eq_g0int_int$21$2(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4634)
tmparg = S2Evar(tk(4634))
tmpsub = Some(tk(4634) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21__2(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret40__2, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp41__2, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12244(line=634, offs=1) -- 12298(line=635, offs=42)
*/
ATSINSflab(__patsflab_eq_g0int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12285(line=635, offs=29) -- 12296(line=635, offs=40)
*/
ATSINSmove(tmp41__2, atspre_g0int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12268(line=635, offs=12) -- 12298(line=635, offs=42)
*/
ATSINSmove(tmpret40__2, atspre_g0int_eq_int(arg0, tmp41__2)) ;

ATSfunbody_end()
ATSreturn(tmpret40__2) ;
} /* end of [ATSLIB_056_prelude__eq_g0int_int__21__2] */

#if(0)
/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4581(line=236, offs=3) -- 4665(line=240, offs=2)
*/
/*
local: 
global: square_intinf0$41$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__square_intinf0__41(atstkind_type(atstype_ptrk) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret82, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp83, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp84) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4564(line=235, offs=1) -- 4665(line=240, offs=2)
*/
ATSINSflab(__patsflab_square_intinf0):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4587(line=236, offs=9) -- 4665(line=240, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4611(line=238, offs=13) -- 4627(line=238, offs=29)
*/
ATSINSmove(tmp83, PMVtmpltcst(square_intinf1<>)(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4649(line=239, offs=21) -- 4662(line=239, offs=34)
*/
ATSINSmove_void(tmp84, PMVtmpltcst(intinf_free<>)(arg0)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4587(line=236, offs=9) -- 4590(line=236, offs=12)
*/
ATSINSmove(tmpret82, tmp83) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4587(line=236, offs=9) -- 4665(line=240, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret82) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__square_intinf0__41] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4581(line=236, offs=3) -- 4665(line=240, offs=2)
*/
/*
local: 
global: square_intinf0$41$1(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__square_intinf0__41__1(atstkind_type(atstype_ptrk) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret82__1, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp83__1, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp84__1) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4564(line=235, offs=1) -- 4665(line=240, offs=2)
*/
ATSINSflab(__patsflab_square_intinf0):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4587(line=236, offs=9) -- 4665(line=240, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4611(line=238, offs=13) -- 4627(line=238, offs=29)
*/
ATSINSmove(tmp83__1, ATSCNTRB_056_HX_056_intinf_vt__square_intinf1__43__1(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4649(line=239, offs=21) -- 4662(line=239, offs=34)
*/
ATSINSmove_void(tmp84__1, ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46__1(arg0)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4587(line=236, offs=9) -- 4590(line=236, offs=12)
*/
ATSINSmove(tmpret82__1, tmp83__1) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4587(line=236, offs=9) -- 4665(line=240, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret82__1) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__square_intinf0__41__1] */

#if(0)
/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4755(line=247, offs=3) -- 4900(line=256, offs=2)
*/
/*
local: 
global: square_intinf1$43$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__square_intinf1__43(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret88, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp89, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp90) ;
// ATStmpdec_void(tmp91) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4738(line=246, offs=1) -- 4900(line=256, offs=2)
*/
ATSINSflab(__patsflab_square_intinf1):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4761(line=247, offs=9) -- 4900(line=256, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4784(line=250, offs=9) -- 4800(line=250, offs=25)
*/
ATSINSmove(tmp89, PMVtmpltcst(ptr_alloc<S2Ecst(mpz_vt0ype)>)()) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4812(line=252, offs=3) -- 4849(line=252, offs=40)
*/
ATSINSmove_void(tmp90, atscntrb_gmp_mpz_init_set_mpz(ATSPMVrefarg1(ATSSELrecsin(tmp89, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4862(line=254, offs=10) -- 4895(line=254, offs=43)
*/
ATSINSmove_void(tmp91, atscntrb_gmp_mpz_mul2_mpz(ATSPMVrefarg1(ATSSELrecsin(tmp89, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4762(line=247, offs=10) -- 4763(line=247, offs=11)
*/
ATSINSmove(tmpret88, tmp89) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4761(line=247, offs=9) -- 4900(line=256, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret88) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__square_intinf1__43] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4755(line=247, offs=3) -- 4900(line=256, offs=2)
*/
/*
local: 
global: square_intinf1$43$1(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__square_intinf1__43__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret88__1, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp89__1, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp90__1) ;
// ATStmpdec_void(tmp91__1) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4738(line=246, offs=1) -- 4900(line=256, offs=2)
*/
ATSINSflab(__patsflab_square_intinf1):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4761(line=247, offs=9) -- 4900(line=256, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4784(line=250, offs=9) -- 4800(line=250, offs=25)
*/
ATSINSmove(tmp89__1, ATSLIB_056_prelude__ptr_alloc__1__4()) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4812(line=252, offs=3) -- 4849(line=252, offs=40)
*/
ATSINSmove_void(tmp90__1, atscntrb_gmp_mpz_init_set_mpz(ATSPMVrefarg1(ATSSELrecsin(tmp89__1, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4862(line=254, offs=10) -- 4895(line=254, offs=43)
*/
ATSINSmove_void(tmp91__1, atscntrb_gmp_mpz_mul2_mpz(ATSPMVrefarg1(ATSSELrecsin(tmp89__1, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4762(line=247, offs=10) -- 4763(line=247, offs=11)
*/
ATSINSmove(tmpret88__1, tmp89__1) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4761(line=247, offs=9) -- 4900(line=256, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret88__1) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__square_intinf1__43__1] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats: 3717(line=184, offs=10) -- 3749(line=184, offs=42)
*/
/*
local: 
global: ptr_alloc$1$4(level=3)
local: 
global: 
*/
ATSstatic()
/*
imparg = a(4746)
tmparg = S2Evar(a(4746))
tmpsub = Some(a(4746) -> S2Ecst(mpz_vt0ype))
*/
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1__4()
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret2__4, atstkind_type(atstype_ptrk)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3708(line=184, offs=1) -- 3749(line=184, offs=42)
*/
ATSINSflab(__patsflab_ptr_alloc):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3722(line=184, offs=15) -- 3749(line=184, offs=42)
*/
ATSINSmove(tmpret2__4, atspre_ptr_alloc_tsz(ATSPMVsizeof(atscntrb_gmp_mpz))) ;

ATSfunbody_end()
ATSreturn(tmpret2__4) ;
} /* end of [ATSLIB_056_prelude__ptr_alloc__1__4] */

#if(0)
/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2888(line=119, offs=12) -- 2987(line=122, offs=4)
*/
/*
local: 
global: intinf_free$46$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atsvoid_t0ype
ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46(atstkind_type(atstype_ptrk) arg0)
{
/* tmpvardeclst(beg) */
// ATStmpdec_void(tmpret97) ;
// ATStmpdec_void(tmp98) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2877(line=119, offs=1) -- 2987(line=122, offs=4)
*/
ATSINSflab(__patsflab_intinf_free):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4)
*/
/*
letpush(beg)
*/
/* (*nothing*) */
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2936(line=121, offs=12) -- 2955(line=121, offs=31)
*/
ATSINSmove_void(tmp98, atscntrb_gmp_mpz_clear(ATSPMVrefarg1(arg0))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2959(line=121, offs=35) -- 2983(line=121, offs=59)
*/
ATSINSmove_void(tmpret97, atspre_ptr_free(arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn_void(tmpret97) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2888(line=119, offs=12) -- 2987(line=122, offs=4)
*/
/*
local: 
global: intinf_free$46$1(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atsvoid_t0ype
ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46__1(atstkind_type(atstype_ptrk) arg0)
{
/* tmpvardeclst(beg) */
// ATStmpdec_void(tmpret97__1) ;
// ATStmpdec_void(tmp98__1) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2877(line=119, offs=1) -- 2987(line=122, offs=4)
*/
ATSINSflab(__patsflab_intinf_free):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4)
*/
/*
letpush(beg)
*/
/* (*nothing*) */
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2936(line=121, offs=12) -- 2955(line=121, offs=31)
*/
ATSINSmove_void(tmp98__1, atscntrb_gmp_mpz_clear(ATSPMVrefarg1(arg0))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2959(line=121, offs=35) -- 2983(line=121, offs=59)
*/
ATSINSmove_void(tmpret97__1, atspre_ptr_free(arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn_void(tmpret97__1) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46__1] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4755(line=247, offs=3) -- 4900(line=256, offs=2)
*/
/*
local: 
global: square_intinf1$43$2(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__square_intinf1__43__2(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret88__2, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp89__2, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp90__2) ;
// ATStmpdec_void(tmp91__2) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4738(line=246, offs=1) -- 4900(line=256, offs=2)
*/
ATSINSflab(__patsflab_square_intinf1):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4761(line=247, offs=9) -- 4900(line=256, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4784(line=250, offs=9) -- 4800(line=250, offs=25)
*/
ATSINSmove(tmp89__2, ATSLIB_056_prelude__ptr_alloc__1__5()) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4812(line=252, offs=3) -- 4849(line=252, offs=40)
*/
ATSINSmove_void(tmp90__2, atscntrb_gmp_mpz_init_set_mpz(ATSPMVrefarg1(ATSSELrecsin(tmp89__2, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4862(line=254, offs=10) -- 4895(line=254, offs=43)
*/
ATSINSmove_void(tmp91__2, atscntrb_gmp_mpz_mul2_mpz(ATSPMVrefarg1(ATSSELrecsin(tmp89__2, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4762(line=247, offs=10) -- 4763(line=247, offs=11)
*/
ATSINSmove(tmpret88__2, tmp89__2) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4761(line=247, offs=9) -- 4900(line=256, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret88__2) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__square_intinf1__43__2] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats: 3717(line=184, offs=10) -- 3749(line=184, offs=42)
*/
/*
local: 
global: ptr_alloc$1$5(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = a(4746)
tmparg = S2Evar(a(4746))
tmpsub = Some(a(4746) -> S2Ecst(mpz_vt0ype))
*/
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1__5()
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret2__5, atstkind_type(atstype_ptrk)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3708(line=184, offs=1) -- 3749(line=184, offs=42)
*/
ATSINSflab(__patsflab_ptr_alloc):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3722(line=184, offs=15) -- 3749(line=184, offs=42)
*/
ATSINSmove(tmpret2__5, atspre_ptr_alloc_tsz(ATSPMVsizeof(atscntrb_gmp_mpz))) ;

ATSfunbody_end()
ATSreturn(tmpret2__5) ;
} /* end of [ATSLIB_056_prelude__ptr_alloc__1__5] */

#if(0)
/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7761(line=437, offs=3) -- 7833(line=442, offs=2)
*/
/*
local: 
global: mul_intinf0_intinf1$50$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__50(atstkind_type(atstype_ptrk) arg0, atsrefarg0_type(atstkind_type(atstype_ptrk)) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret109, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp110) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7739(line=436, offs=1) -- 7833(line=442, offs=2)
*/
ATSINSflab(__patsflab_mul_intinf0_intinf1):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7770(line=437, offs=12) -- 7833(line=442, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7794(line=440, offs=10) -- 7828(line=440, offs=44)
*/
ATSINSmove_void(tmp110, atscntrb_gmp_mpz_mul2_mpz(ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg1, atstkind_type(atstype_ptrk), atslab__2)))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7771(line=437, offs=13) -- 7772(line=437, offs=14)
*/
ATSINSmove(tmpret109, arg0) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7770(line=437, offs=12) -- 7833(line=442, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret109) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__50] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7761(line=437, offs=3) -- 7833(line=442, offs=2)
*/
/*
local: 
global: mul_intinf0_intinf1$50$1(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__50__1(atstkind_type(atstype_ptrk) arg0, atsrefarg0_type(atstkind_type(atstype_ptrk)) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret109__1, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp110__1) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7739(line=436, offs=1) -- 7833(line=442, offs=2)
*/
ATSINSflab(__patsflab_mul_intinf0_intinf1):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7770(line=437, offs=12) -- 7833(line=442, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7794(line=440, offs=10) -- 7828(line=440, offs=44)
*/
ATSINSmove_void(tmp110__1, atscntrb_gmp_mpz_mul2_mpz(ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg1, atstkind_type(atstype_ptrk), atslab__2)))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7771(line=437, offs=13) -- 7772(line=437, offs=14)
*/
ATSINSmove(tmpret109__1, arg0) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7770(line=437, offs=12) -- 7833(line=442, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret109__1) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__50__1] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2888(line=119, offs=12) -- 2987(line=122, offs=4)
*/
/*
local: 
global: intinf_free$46$2(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atsvoid_t0ype
ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46__2(atstkind_type(atstype_ptrk) arg0)
{
/* tmpvardeclst(beg) */
// ATStmpdec_void(tmpret97__2) ;
// ATStmpdec_void(tmp98__2) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2877(line=119, offs=1) -- 2987(line=122, offs=4)
*/
ATSINSflab(__patsflab_intinf_free):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4)
*/
/*
letpush(beg)
*/
/* (*nothing*) */
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2936(line=121, offs=12) -- 2955(line=121, offs=31)
*/
ATSINSmove_void(tmp98__2, atscntrb_gmp_mpz_clear(ATSPMVrefarg1(arg0))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2959(line=121, offs=35) -- 2983(line=121, offs=59)
*/
ATSINSmove_void(tmpret97__2, atspre_ptr_free(arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn_void(tmpret97__2) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46__2] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2888(line=119, offs=12) -- 2987(line=122, offs=4)
*/
/*
local: 
global: intinf_free$46$3(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atsvoid_t0ype
ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46__3(atstkind_type(atstype_ptrk) arg0)
{
/* tmpvardeclst(beg) */
// ATStmpdec_void(tmpret97__3) ;
// ATStmpdec_void(tmp98__3) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2877(line=119, offs=1) -- 2987(line=122, offs=4)
*/
ATSINSflab(__patsflab_intinf_free):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4)
*/
/*
letpush(beg)
*/
/* (*nothing*) */
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2936(line=121, offs=12) -- 2955(line=121, offs=31)
*/
ATSINSmove_void(tmp98__3, atscntrb_gmp_mpz_clear(ATSPMVrefarg1(arg0))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2959(line=121, offs=35) -- 2983(line=121, offs=59)
*/
ATSINSmove_void(tmpret97__3, atspre_ptr_free(arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn_void(tmpret97__3) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_free__46__3] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2209(line=74, offs=3) -- 2301(line=80, offs=2)
*/
/*
local: 
global: intinf_make_int$4$3(level=1)
local: 
global: 
*/
ATSstatic()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4__3(atstkind_t0ype(atstype_int) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret8__3, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp9__3, atstkind_type(atstype_ptrk)) ;
// ATStmpdec_void(tmp10__3) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2191(line=73, offs=1) -- 2301(line=80, offs=2)
*/
ATSINSflab(__patsflab_intinf_make_int):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2215(line=74, offs=9) -- 2301(line=80, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2238(line=77, offs=9) -- 2254(line=77, offs=25)
*/
ATSINSmove(tmp9__3, ATSLIB_056_prelude__ptr_alloc__1__6()) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2264(line=78, offs=10) -- 2296(line=78, offs=42)
*/
ATSINSmove_void(tmp10__3, atscntrb_gmp_mpz_init_set_int(ATSPMVrefarg1(ATSSELrecsin(tmp9__3, atstkind_type(atstype_ptrk), atslab__2)), arg0)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2216(line=74, offs=10) -- 2217(line=74, offs=11)
*/
ATSINSmove(tmpret8__3, tmp9__3) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2215(line=74, offs=9) -- 2301(line=80, offs=2)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret8__3) ;
} /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__4__3] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats: 3717(line=184, offs=10) -- 3749(line=184, offs=42)
*/
/*
local: 
global: ptr_alloc$1$6(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = a(4746)
tmparg = S2Evar(a(4746))
tmpsub = Some(a(4746) -> S2Ecst(mpz_vt0ype))
*/
atstkind_type(atstype_ptrk)
ATSLIB_056_prelude__ptr_alloc__1__6()
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret2__6, atstkind_type(atstype_ptrk)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3708(line=184, offs=1) -- 3749(line=184, offs=42)
*/
ATSINSflab(__patsflab_ptr_alloc):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3722(line=184, offs=15) -- 3749(line=184, offs=42)
*/
ATSINSmove(tmpret2__6, atspre_ptr_alloc_tsz(ATSPMVsizeof(atscntrb_gmp_mpz))) ;

ATSfunbody_end()
ATSreturn(tmpret2__6) ;
} /* end of [ATSLIB_056_prelude__ptr_alloc__1__6] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2365(line=96, offs=4) -- 2512(line=101, offs=6)
*/
/*
local: 
global: sqrt_int_56$0(level=0)
local: 
global: 
*/
ATSstatic()
atstkind_t0ype(atstype_int)
sqrt_int_56(atstkind_t0ype(atstype_int) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret123, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmpref124, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp125, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp126, atstkind_t0ype(atstype_double)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2365(line=96, offs=4) -- 2512(line=101, offs=6)
*/
ATSINSflab(__patsflab_sqrt_int_56):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2411(line=97, offs=3) -- 2512(line=101, offs=6)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2423(line=98, offs=9) -- 2428(line=98, offs=14)
*/
/*
ATSINStmpdec(tmpref124) ;
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2455(line=98, offs=41) -- 2479(line=98, offs=65)
*/
ATSINSmove(tmp126, atspre_g0int2float_int_double(arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2443(line=98, offs=29) -- 2481(line=98, offs=67)
*/
ATSINSmove(tmp125, atslib_libats_libc_sqrt_double(tmp126)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2431(line=98, offs=17) -- 2482(line=98, offs=68)
*/
ATSINSmove(tmpref124, atspre_g0float2int_double_int(tmp125)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2492(line=100, offs=5) -- 2505(line=100, offs=18)
*/
ATSINSmove(tmpret123, ATSPMVcastfn(witness, atstkind_t0ype(atstype_int), tmpref124)) ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2411(line=97, offs=3) -- 2512(line=101, offs=6)
*/
/*
INSletpop()
*/
ATSfunbody_end()
ATSreturn(tmpret123) ;
} /* end of [sqrt_int_56] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2548(line=104, offs=4) -- 3129(line=127, offs=10)
*/
/*
local: sqrt_int_56$0(level=0)
global: sqrt_int_56$0(level=0), is_prime_58$0(level=0)
local: 
global: 
*/
ATSstatic()
atstkind_t0ype(atstype_bool)
is_prime_58(atstkind_t0ype(atstype_int) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret127, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp146, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2548(line=104, offs=4) -- 3129(line=127, offs=10)
*/
ATSINSflab(__patsflab_is_prime_58):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2584(line=105, offs=3) -- 3129(line=127, offs=10)
*/
ATScaseof_beg()
/*
** ibranchlst-beg
*/
ATSbranch_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2601(line=106, offs=7) -- 2602(line=106, offs=8)
*/
ATSINSlab(__atstmplab8):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2557(line=104, offs=13) -- 2558(line=104, offs=14)
*/
ATSifnthen(ATSCKpat_int(arg0, ATSPMVint(1))) { ATSINSgoto(__atstmplab10) ; } ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2602(line=106, offs=8) -- 2602(line=106, offs=8)
*/
ATSINSlab(__atstmplab9):
/*
emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0)
*/
/*
ibranch-mbody:
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2606(line=106, offs=12) -- 2611(line=106, offs=17)
*/
ATSINSmove(tmpret127, ATSPMVbool_false()) ;
ATSbranch_end()

ATSbranch_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2619(line=107, offs=8) -- 2619(line=107, offs=8)
*/
ATSINSlab(__atstmplab10):
/*
emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0)
*/
/*
ibranch-mbody:
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2644(line=109, offs=9) -- 3119(line=126, offs=12)
*/
/*
letpush(beg)
*/
/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3095(line=125, offs=19) -- 3105(line=125, offs=29)
*/
ATSINSmove(tmp146, sqrt_int_56(arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3087(line=125, offs=11) -- 3107(line=125, offs=31)
*/
ATSINSmove(tmpret127, loop_59(arg0, ATSPMVi0nt(2), tmp146)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2644(line=109, offs=9) -- 3119(line=126, offs=12)
*/
/*
INSletpop()
*/
ATSbranch_end()

/*
** ibranchlst-end
*/
ATScaseof_end()

ATSfunbody_end()
ATSreturn(tmpret127) ;
} /* end of [is_prime_58] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2662(line=110, offs=15) -- 3065(line=123, offs=21)
*/
/*
local: loop_59$0(level=1)
global: loop_59$0(level=1)
local: k$5131(1)(HSEapp(HSEcst(atstkind_t0ype); HSEs2exp(S2Eextkind(atstype_int))))
global: k$5131(1)(HSEapp(HSEcst(atstkind_t0ype); HSEs2exp(S2Eextkind(atstype_int))))
*/
ATSstatic()
atstkind_t0ype(atstype_bool)
loop_59(atstkind_t0ype(atstype_int) env0, atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(apy0, atstkind_t0ype(atstype_int)) ;
ATStmpdec(apy1, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmpret128, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp129, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp134, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp137, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp138, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp139, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp142, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp145, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2662(line=110, offs=15) -- 3065(line=123, offs=21)
*/
ATSINSflab(__patsflab_loop_59):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2752(line=111, offs=16) -- 2761(line=111, offs=25)
*/
ATSINSmove(tmp129, ATSLIB_056_prelude__lt_g1int_int__60__1(arg0, arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2749(line=111, offs=13) -- 3065(line=123, offs=21)
*/
ATSif(
tmp129
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2784(line=112, offs=18) -- 2789(line=112, offs=23)
*/
ATSINSmove(tmp137, atspre_g0int_mod_int(env0, arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2784(line=112, offs=18) -- 2793(line=112, offs=27)
*/
ATSINSmove(tmp134, ATSLIB_056_prelude__eq_g0int_int__21__3(tmp137, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2781(line=112, offs=15) -- 2874(line=115, offs=35)
*/
ATSif(
tmp134
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2815(line=113, offs=17) -- 2820(line=113, offs=22)
*/
ATSINSmove(tmpret128, ATSPMVbool_false()) ;
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2861(line=115, offs=22) -- 2866(line=115, offs=27)
*/
ATSINSmove(tmp138, atspre_g1int_add_int(arg0, ATSPMVi0nt(1))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2856(line=115, offs=17) -- 2874(line=115, offs=35)
*/
ATStailcal_beg()
ATSINSmove_tlcal(apy0, tmp138) ;
ATSINSmove_tlcal(apy1, arg1) ;
ATSINSargmove_tlcal(arg0, apy0) ;
ATSINSargmove_tlcal(arg1, apy1) ;
ATSINSfgoto(__patsflab_loop_59) ;
ATStailcal_end()

} /* ATSendif */
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2909(line=117, offs=18) -- 2918(line=117, offs=27)
*/
ATSINSmove(tmp139, ATSLIB_056_prelude__eq_g1int_int__27__2(arg0, arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2906(line=117, offs=15) -- 3065(line=123, offs=21)
*/
ATSif(
tmp139
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2943(line=118, offs=20) -- 2948(line=118, offs=25)
*/
ATSINSmove(tmp145, atspre_g0int_mod_int(env0, arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2943(line=118, offs=20) -- 2952(line=118, offs=29)
*/
ATSINSmove(tmp142, ATSLIB_056_prelude__eq_g0int_int__21__4(tmp145, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2940(line=118, offs=17) -- 3025(line=121, offs=23)
*/
ATSif(
tmp142
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 2976(line=119, offs=19) -- 2981(line=119, offs=24)
*/
ATSINSmove(tmpret128, ATSPMVbool_false()) ;
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3021(line=121, offs=19) -- 3025(line=121, offs=23)
*/
ATSINSmove(tmpret128, ATSPMVbool_true()) ;
} /* ATSendif */
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3061(line=123, offs=17) -- 3065(line=123, offs=21)
*/
ATSINSmove(tmpret128, ATSPMVbool_true()) ;
} /* ATSendif */
} /* ATSendif */
ATSfunbody_end()
ATSreturn(tmpret128) ;
} /* end of [loop_59] */

#if(0)
/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12520(line=650, offs=3) -- 12559(line=650, offs=42)
*/
/*
local: 
global: lt_g1int_int$60$0(level=0)
local: 
global: 
*/
ATSextern()
/*
imparg = tk(4637)
tmparg = S2Evar(tk(4637))
tmpsub = None()
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__lt_g1int_int__60(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret130, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp131, atstkind_t0ype(atstyvar_type(tk))) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12505(line=649, offs=1) -- 12559(line=650, offs=42)
*/
ATSINSflab(__patsflab_lt_g1int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12546(line=650, offs=29) -- 12557(line=650, offs=40)
*/
ATSINSmove(tmp131, PMVtmpltcst(g1int2int<S2Eextkind(atstype_int), S2Evar(tk(4637))>)(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12529(line=650, offs=12) -- 12559(line=650, offs=42)
*/
ATSINSmove(tmpret130, PMVtmpltcst(g1int_lt<S2Evar(tk(4637))>)(arg0, tmp131)) ;

ATSfunbody_end()
ATSreturn(tmpret130) ;
} /* end of [ATSLIB_056_prelude__lt_g1int_int__60] */
#endif // end of [TEMPLATE]

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12520(line=650, offs=3) -- 12559(line=650, offs=42)
*/
/*
local: 
global: lt_g1int_int$60$1(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4637)
tmparg = S2Evar(tk(4637))
tmpsub = Some(tk(4637) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__lt_g1int_int__60__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret130__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp131__1, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12505(line=649, offs=1) -- 12559(line=650, offs=42)
*/
ATSINSflab(__patsflab_lt_g1int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12546(line=650, offs=29) -- 12557(line=650, offs=40)
*/
ATSINSmove(tmp131__1, atspre_g1int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12529(line=650, offs=12) -- 12559(line=650, offs=42)
*/
ATSINSmove(tmpret130__1, atspre_g1int_lt_int(arg0, tmp131__1)) ;

ATSfunbody_end()
ATSreturn(tmpret130__1) ;
} /* end of [ATSLIB_056_prelude__lt_g1int_int__60__1] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12259(line=635, offs=3) -- 12298(line=635, offs=42)
*/
/*
local: 
global: eq_g0int_int$21$3(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4634)
tmparg = S2Evar(tk(4634))
tmpsub = Some(tk(4634) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21__3(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret40__3, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp41__3, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12244(line=634, offs=1) -- 12298(line=635, offs=42)
*/
ATSINSflab(__patsflab_eq_g0int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12285(line=635, offs=29) -- 12296(line=635, offs=40)
*/
ATSINSmove(tmp41__3, atspre_g0int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12268(line=635, offs=12) -- 12298(line=635, offs=42)
*/
ATSINSmove(tmpret40__3, atspre_g0int_eq_int(arg0, tmp41__3)) ;

ATSfunbody_end()
ATSreturn(tmpret40__3) ;
} /* end of [ATSLIB_056_prelude__eq_g0int_int__21__3] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12838(line=668, offs=3) -- 12877(line=668, offs=42)
*/
/*
local: 
global: eq_g1int_int$27$2(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4649)
tmparg = S2Evar(tk(4649))
tmpsub = Some(tk(4649) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g1int_int__27__2(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret50__2, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp51__2, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12823(line=667, offs=1) -- 12877(line=668, offs=42)
*/
ATSINSflab(__patsflab_eq_g1int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12864(line=668, offs=29) -- 12875(line=668, offs=40)
*/
ATSINSmove(tmp51__2, atspre_g1int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12847(line=668, offs=12) -- 12877(line=668, offs=42)
*/
ATSINSmove(tmpret50__2, atspre_g1int_eq_int(arg0, tmp51__2)) ;

ATSfunbody_end()
ATSreturn(tmpret50__2) ;
} /* end of [ATSLIB_056_prelude__eq_g1int_int__27__2] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12259(line=635, offs=3) -- 12298(line=635, offs=42)
*/
/*
local: 
global: eq_g0int_int$21$4(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4634)
tmparg = S2Evar(tk(4634))
tmpsub = Some(tk(4634) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21__4(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret40__4, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp41__4, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12244(line=634, offs=1) -- 12298(line=635, offs=42)
*/
ATSINSflab(__patsflab_eq_g0int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12285(line=635, offs=29) -- 12296(line=635, offs=40)
*/
ATSINSmove(tmp41__4, atspre_g0int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12268(line=635, offs=12) -- 12298(line=635, offs=42)
*/
ATSINSmove(tmpret40__4, atspre_g0int_eq_int(arg0, tmp41__4)) ;

ATSfunbody_end()
ATSreturn(tmpret40__4) ;
} /* end of [ATSLIB_056_prelude__eq_g0int_int__21__4] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3134(line=129, offs=4) -- 3945(line=158, offs=10)
*/
/*
local: sqrt_int_56$0(level=0), is_prime_58$0(level=0)
global: sqrt_int_56$0(level=0), is_prime_58$0(level=0), is_semiprime_66$0(level=0)
local: 
global: 
*/
ATSstatic()
atstkind_t0ype(atstype_bool)
is_semiprime_66(atstkind_t0ype(atstype_int) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret147, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp168, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3134(line=129, offs=4) -- 3945(line=158, offs=10)
*/
ATSINSflab(__patsflab_is_semiprime_66):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3174(line=130, offs=3) -- 3945(line=158, offs=10)
*/
ATScaseof_beg()
/*
** ibranchlst-beg
*/
ATSbranch_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3191(line=131, offs=7) -- 3192(line=131, offs=8)
*/
ATSINSlab(__atstmplab11):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3147(line=129, offs=17) -- 3148(line=129, offs=18)
*/
ATSifnthen(ATSCKpat_int(arg0, ATSPMVint(1))) { ATSINSgoto(__atstmplab13) ; } ;
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3192(line=131, offs=8) -- 3192(line=131, offs=8)
*/
ATSINSlab(__atstmplab12):
/*
emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0)
*/
/*
ibranch-mbody:
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3196(line=131, offs=12) -- 3201(line=131, offs=17)
*/
ATSINSmove(tmpret147, ATSPMVbool_false()) ;
ATSbranch_end()

ATSbranch_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3209(line=132, offs=8) -- 3209(line=132, offs=8)
*/
ATSINSlab(__atstmplab13):
/*
emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0)
*/
/*
ibranch-mbody:
*/
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3234(line=134, offs=9) -- 3935(line=157, offs=12)
*/
/*
letpush(beg)
*/
/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3911(line=156, offs=19) -- 3921(line=156, offs=29)
*/
ATSINSmove(tmp168, sqrt_int_56(arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3903(line=156, offs=11) -- 3923(line=156, offs=31)
*/
ATSINSmove(tmpret147, loop_67(arg0, ATSPMVi0nt(2), tmp168)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3234(line=134, offs=9) -- 3935(line=157, offs=12)
*/
/*
INSletpop()
*/
ATSbranch_end()

/*
** ibranchlst-end
*/
ATScaseof_end()

ATSfunbody_end()
ATSreturn(tmpret147) ;
} /* end of [is_semiprime_66] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3252(line=135, offs=15) -- 3881(line=154, offs=22)
*/
/*
local: is_prime_58$0(level=0), loop_67$0(level=1)
global: is_prime_58$0(level=0), loop_67$0(level=1)
local: k$5137(1)(HSEapp(HSEcst(atstkind_t0ype); HSEs2exp(S2Eextkind(atstype_int))))
global: k$5137(1)(HSEapp(HSEcst(atstkind_t0ype); HSEs2exp(S2Eextkind(atstype_int))))
*/
ATSstatic()
atstkind_t0ype(atstype_bool)
loop_67(atstkind_t0ype(atstype_int) env0, atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(apy0, atstkind_t0ype(atstype_int)) ;
ATStmpdec(apy1, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmpret148, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp149, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp152, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp155, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp156, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp157, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp158, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp159, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp162, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp165, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp166, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp167, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3252(line=135, offs=15) -- 3881(line=154, offs=22)
*/
ATSINSflab(__patsflab_loop_67):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3354(line=136, offs=16) -- 3363(line=136, offs=25)
*/
ATSINSmove(tmp149, ATSLIB_056_prelude__lt_g1int_int__60__2(arg0, arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3351(line=136, offs=13) -- 3881(line=154, offs=22)
*/
ATSif(
tmp149
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3386(line=137, offs=18) -- 3391(line=137, offs=23)
*/
ATSINSmove(tmp155, atspre_g0int_mod_int(env0, arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3386(line=137, offs=18) -- 3395(line=137, offs=27)
*/
ATSINSmove(tmp152, ATSLIB_056_prelude__eq_g0int_int__21__5(tmp155, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3383(line=137, offs=15) -- 3579(line=143, offs=35)
*/
ATSif(
tmp152
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3420(line=138, offs=20) -- 3430(line=138, offs=30)
*/
ATSINSmove(tmp156, is_prime_58(arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3417(line=138, offs=17) -- 3525(line=141, offs=24)
*/
ATSif(
tmp156
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3473(line=139, offs=37) -- 3478(line=139, offs=42)
*/
ATSINSmove(tmp157, atspre_g1int_div_int(env0, arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3455(line=139, offs=19) -- 3480(line=139, offs=44)
*/
ATSINSmove(tmpret148, is_prime_58(ATSPMVcastfn(cast, atstkind_t0ype(atstype_int), tmp157))) ;

} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3520(line=141, offs=19) -- 3525(line=141, offs=24)
*/
ATSINSmove(tmpret148, ATSPMVbool_false()) ;
} /* ATSendif */
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3566(line=143, offs=22) -- 3571(line=143, offs=27)
*/
ATSINSmove(tmp158, atspre_g1int_add_int(arg0, ATSPMVi0nt(1))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3561(line=143, offs=17) -- 3579(line=143, offs=35)
*/
ATStailcal_beg()
ATSINSmove_tlcal(apy0, tmp158) ;
ATSINSmove_tlcal(apy1, arg1) ;
ATSINSargmove_tlcal(arg0, apy0) ;
ATSINSargmove_tlcal(arg1, apy1) ;
ATSINSfgoto(__patsflab_loop_67) ;
ATStailcal_end()

} /* ATSendif */
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3614(line=145, offs=18) -- 3623(line=145, offs=27)
*/
ATSINSmove(tmp159, ATSLIB_056_prelude__eq_g1int_int__27__3(arg0, arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3611(line=145, offs=15) -- 3881(line=154, offs=22)
*/
ATSif(
tmp159
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3648(line=146, offs=20) -- 3653(line=146, offs=25)
*/
ATSINSmove(tmp165, atspre_g0int_mod_int(env0, arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3648(line=146, offs=20) -- 3657(line=146, offs=29)
*/
ATSINSmove(tmp162, ATSLIB_056_prelude__eq_g0int_int__21__6(tmp165, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3645(line=146, offs=17) -- 3840(line=152, offs=24)
*/
ATSif(
tmp162
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3684(line=147, offs=22) -- 3694(line=147, offs=32)
*/
ATSINSmove(tmp166, is_prime_58(arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3681(line=147, offs=19) -- 3795(line=150, offs=26)
*/
ATSif(
tmp166
) ATSthen() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3739(line=148, offs=39) -- 3744(line=148, offs=44)
*/
ATSINSmove(tmp167, atspre_g1int_div_int(env0, arg0)) ;

/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3721(line=148, offs=21) -- 3746(line=148, offs=46)
*/
ATSINSmove(tmpret148, is_prime_58(ATSPMVcastfn(cast, atstkind_t0ype(atstype_int), tmp167))) ;

} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3790(line=150, offs=21) -- 3795(line=150, offs=26)
*/
ATSINSmove(tmpret148, ATSPMVbool_false()) ;
} /* ATSendif */
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3835(line=152, offs=19) -- 3840(line=152, offs=24)
*/
ATSINSmove(tmpret148, ATSPMVbool_false()) ;
} /* ATSendif */
} ATSelse() {
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics-internal.dats: 3876(line=154, offs=17) -- 3881(line=154, offs=22)
*/
ATSINSmove(tmpret148, ATSPMVbool_false()) ;
} /* ATSendif */
} /* ATSendif */
ATSfunbody_end()
ATSreturn(tmpret148) ;
} /* end of [loop_67] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12520(line=650, offs=3) -- 12559(line=650, offs=42)
*/
/*
local: 
global: lt_g1int_int$60$2(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4637)
tmparg = S2Evar(tk(4637))
tmpsub = Some(tk(4637) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__lt_g1int_int__60__2(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret130__2, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp131__2, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12505(line=649, offs=1) -- 12559(line=650, offs=42)
*/
ATSINSflab(__patsflab_lt_g1int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12546(line=650, offs=29) -- 12557(line=650, offs=40)
*/
ATSINSmove(tmp131__2, atspre_g1int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12529(line=650, offs=12) -- 12559(line=650, offs=42)
*/
ATSINSmove(tmpret130__2, atspre_g1int_lt_int(arg0, tmp131__2)) ;

ATSfunbody_end()
ATSreturn(tmpret130__2) ;
} /* end of [ATSLIB_056_prelude__lt_g1int_int__60__2] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12259(line=635, offs=3) -- 12298(line=635, offs=42)
*/
/*
local: 
global: eq_g0int_int$21$5(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4634)
tmparg = S2Evar(tk(4634))
tmpsub = Some(tk(4634) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21__5(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret40__5, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp41__5, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12244(line=634, offs=1) -- 12298(line=635, offs=42)
*/
ATSINSflab(__patsflab_eq_g0int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12285(line=635, offs=29) -- 12296(line=635, offs=40)
*/
ATSINSmove(tmp41__5, atspre_g0int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12268(line=635, offs=12) -- 12298(line=635, offs=42)
*/
ATSINSmove(tmpret40__5, atspre_g0int_eq_int(arg0, tmp41__5)) ;

ATSfunbody_end()
ATSreturn(tmpret40__5) ;
} /* end of [ATSLIB_056_prelude__eq_g0int_int__21__5] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12838(line=668, offs=3) -- 12877(line=668, offs=42)
*/
/*
local: 
global: eq_g1int_int$27$3(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4649)
tmparg = S2Evar(tk(4649))
tmpsub = Some(tk(4649) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g1int_int__27__3(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret50__3, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp51__3, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12823(line=667, offs=1) -- 12877(line=668, offs=42)
*/
ATSINSflab(__patsflab_eq_g1int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12864(line=668, offs=29) -- 12875(line=668, offs=40)
*/
ATSINSmove(tmp51__3, atspre_g1int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12847(line=668, offs=12) -- 12877(line=668, offs=42)
*/
ATSINSmove(tmpret50__3, atspre_g1int_eq_int(arg0, tmp51__3)) ;

ATSfunbody_end()
ATSreturn(tmpret50__3) ;
} /* end of [ATSLIB_056_prelude__eq_g1int_int__27__3] */

/*
/home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats: 12259(line=635, offs=3) -- 12298(line=635, offs=42)
*/
/*
local: 
global: eq_g0int_int$21$6(level=2)
local: 
global: 
*/
ATSstatic()
/*
imparg = tk(4634)
tmparg = S2Evar(tk(4634))
tmpsub = Some(tk(4634) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__eq_g0int_int__21__6(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret40__6, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp41__6, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12244(line=634, offs=1) -- 12298(line=635, offs=42)
*/
ATSINSflab(__patsflab_eq_g0int_int):
/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12285(line=635, offs=29) -- 12296(line=635, offs=40)
*/
ATSINSmove(tmp41__6, atspre_g0int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/vanessa/.atspkg/0.4.2/ATS2-Postiats-gmp-0.4.2/lib/ats2-postiats-0.4.2/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12268(line=635, offs=12) -- 12298(line=635, offs=42)
*/
ATSINSmove(tmpret40__6, atspre_g0int_eq_int(arg0, tmp41__6)) ;

ATSfunbody_end()
ATSreturn(tmpret40__6) ;
} /* end of [ATSLIB_056_prelude__eq_g0int_int__21__6] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 397(line=17, offs=24) -- 415(line=18, offs=13)
*/
/*
local: is_prime_58$0(level=0)
global: sqrt_int_56$0(level=0), is_prime_58$0(level=0), is_prime_ats$73$0(level=0)
local: 
global: 
*/
ATSextern()
atstkind_t0ype(atstype_bool)
is_prime_ats(atstkind_t0ype(atstype_int) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret169, atstkind_t0ype(atstype_bool)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 384(line=17, offs=11) -- 416(line=18, offs=14)
*/
ATSINSflab(__patsflab_is_prime_ats):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 405(line=18, offs=3) -- 415(line=18, offs=13)
*/
ATSINSmove(tmpret169, is_prime_58(arg0)) ;

ATSfunbody_end()
ATSreturn(tmpret169) ;
} /* end of [is_prime_ats] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 443(line=20, offs=26) -- 470(line=21, offs=19)
*/
/*
local: rising_fac_13$0(level=0)
global: rising_fac_ref_3$0(level=0), rising_fac_13$0(level=0), rising_fac_ats$74$0(level=0)
local: 
global: 
*/
ATSextern()
atstkind_type(atstype_ptrk)
rising_fac_ats(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret170, atstkind_type(atstype_ptrk)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 428(line=20, offs=11) -- 470(line=21, offs=19)
*/
ATSINSflab(__patsflab_rising_fac_ats):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 454(line=21, offs=3) -- 470(line=21, offs=19)
*/
ATSINSmove(tmpret170, rising_fac_13(arg0, arg1)) ;

ATSfunbody_end()
ATSreturn(tmpret170) ;
} /* end of [rising_fac_ats] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 499(line=23, offs=28) -- 521(line=24, offs=17)
*/
/*
local: is_semiprime_66$0(level=0)
global: sqrt_int_56$0(level=0), is_prime_58$0(level=0), is_semiprime_66$0(level=0), is_semiprime_ats$75$0(level=0)
local: 
global: 
*/
ATSextern()
atstkind_t0ype(atstype_bool)
is_semiprime_ats(atstkind_t0ype(atstype_int) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret171, atstkind_t0ype(atstype_bool)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 482(line=23, offs=11) -- 522(line=24, offs=18)
*/
ATSINSflab(__patsflab_is_semiprime_ats):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 507(line=24, offs=3) -- 521(line=24, offs=17)
*/
ATSINSmove(tmpret171, is_semiprime_66(arg0)) ;

ATSfunbody_end()
ATSreturn(tmpret171) ;
} /* end of [is_semiprime_ats] */

/*
/home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 542(line=26, offs=19) -- 562(line=27, offs=12)
*/
/*
local: exp_14$0(level=0)
global: exp_14$0(level=0), exp_ats$76$0(level=0)
local: 
global: 
*/
ATSextern()
atstkind_t0ype(atstype_int)
exp_ats(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret172, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 534(line=26, offs=11) -- 562(line=27, offs=12)
*/
ATSINSflab(__patsflab_exp_ats):
/*
emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 553(line=27, offs=3) -- 562(line=27, offs=12)
*/
ATSINSmove(tmpret172, exp_14(arg0, arg1)) ;

ATSfunbody_end()
ATSreturn(tmpret172) ;
} /* end of [exp_ats] */

#if(0)
/*
** for initialization(dynloading)
*/
ATSdynloadflag_minit(_057_home_057_vanessa_057_programming_057_haskell_057_done_057_hs_055_ats_057_fast_055_arithmetic_057_ats_055_src_057_numerics_056_dats__dynloadflag) ;
ATSextern()
atsvoid_t0ype
_057_home_057_vanessa_057_programming_057_haskell_057_done_057_hs_055_ats_057_fast_055_arithmetic_057_ats_055_src_057_numerics_056_dats__dynload()
{
ATSfunbody_beg()
ATSdynload(/*void*/)
ATSdynloadflag_sta(
_057_home_057_vanessa_057_programming_057_haskell_057_done_057_hs_055_ats_057_fast_055_arithmetic_057_ats_055_src_057_numerics_056_dats__dynloadflag
) ;
ATSif(
ATSCKiseqz(
_057_home_057_vanessa_057_programming_057_haskell_057_done_057_hs_055_ats_057_fast_055_arithmetic_057_ats_055_src_057_numerics_056_dats__dynloadflag
)
) ATSthen() {
ATSdynloadset(_057_home_057_vanessa_057_programming_057_haskell_057_done_057_hs_055_ats_057_fast_055_arithmetic_057_ats_055_src_057_numerics_056_dats__dynloadflag) ;
/*
dynexnlst-initize(beg)
*/
/*
dynexnlst-initize(end)
*/
/* local */
/* in of [local] */
/* local */
/* in of [local] */
/* end of [local] */
/* end of [local] */
} /* ATSendif */
ATSfunbody_end()
ATSreturn_void(tmpret_void) ;
} /* end of [*_dynload] */
#endif // end of [#if(0)]

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

/* end-of-compilation-unit */