/*
**
** The C code is generated by [ATS/Postiats-0-2-13]
** The starting compilation time is: 2016-12-19: 16h:40m
**
*/

/*
** 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/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/basics.dats: 359(line=27, offs=1) -- 388(line=27, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/basics.dats: 415(line=31, offs=1) -- 447(line=31, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/basics.dats: 451(line=33, offs=1) -- 480(line=33, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/basics.dats: 481(line=34, offs=1) -- 511(line=34, offs=31)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/basics.dats: 512(line=35, offs=1) -- 543(line=35, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/string.sats: 202(line=16, offs=1) -- 231(line=16, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/string.sats: 202(line=16, offs=1) -- 231(line=16, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/gvalue.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/gprint.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/gprint.dats: 357(line=27, offs=1) -- 388(line=27, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/gprint.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 357(line=27, offs=1) -- 396(line=29, offs=27)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 421(line=33, offs=1) -- 450(line=33, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 475(line=37, offs=1) -- 507(line=37, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 534(line=41, offs=1) -- 564(line=41, offs=31)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 565(line=42, offs=1) -- 597(line=42, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/filebas.sats: 200(line=16, offs=1) -- 229(line=16, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 624(line=46, offs=1) -- 653(line=46, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 680(line=50, offs=1) -- 711(line=50, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 712(line=51, offs=1) -- 747(line=51, offs=36)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 359(line=27, offs=1) -- 398(line=29, offs=27)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 425(line=33, offs=1) -- 454(line=33, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 481(line=37, offs=1) -- 513(line=37, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 540(line=41, offs=1) -- 570(line=41, offs=31)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 597(line=45, offs=1) -- 626(line=45, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 627(line=46, offs=1) -- 661(line=46, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/reference.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 686(line=50, offs=1) -- 717(line=50, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 751(line=53, offs=1) -- 785(line=53, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream_vt.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 786(line=54, offs=1) -- 824(line=54, offs=39)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 362(line=27, offs=1) -- 401(line=29, offs=27)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 428(line=33, offs=1) -- 457(line=33, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 484(line=37, offs=1) -- 516(line=37, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 543(line=41, offs=1) -- 573(line=41, offs=31)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 600(line=45, offs=1) -- 629(line=45, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 630(line=46, offs=1) -- 662(line=46, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list_vt.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 666(line=48, offs=1) -- 700(line=48, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/reference.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 725(line=52, offs=1) -- 756(line=52, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 757(line=53, offs=1) -- 791(line=53, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream_vt.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 851(line=58, offs=1) -- 883(line=58, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/JSarray.sats: 200(line=16, offs=1) -- 229(line=16, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list_vt.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list_vt.dats: 357(line=27, offs=1) -- 396(line=29, offs=27)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list_vt.dats: 421(line=33, offs=1) -- 450(line=33, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list_vt.dats: 475(line=37, offs=1) -- 507(line=37, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list_vt.dats: 534(line=41, offs=1) -- 563(line=41, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list_vt.dats: 564(line=42, offs=1) -- 596(line=42, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list_vt.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/option.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/option.dats: 359(line=27, offs=1) -- 398(line=28, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/option.dats: 425(line=32, offs=1) -- 457(line=32, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/option.dats: 484(line=36, offs=1) -- 515(line=36, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/option.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 359(line=27, offs=1) -- 398(line=29, offs=27)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 425(line=33, offs=1) -- 454(line=33, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 481(line=37, offs=1) -- 513(line=37, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 540(line=41, offs=1) -- 570(line=41, offs=31)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 597(line=45, offs=1) -- 626(line=45, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 627(line=46, offs=1) -- 661(line=46, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/reference.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 686(line=50, offs=1) -- 717(line=50, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream_vt.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 362(line=27, offs=1) -- 401(line=29, offs=27)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 428(line=33, offs=1) -- 457(line=33, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 484(line=37, offs=1) -- 516(line=37, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 543(line=41, offs=1) -- 573(line=41, offs=31)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 600(line=45, offs=1) -- 629(line=45, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 630(line=46, offs=1) -- 662(line=46, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list_vt.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 666(line=48, offs=1) -- 700(line=48, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/reference.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 725(line=52, offs=1) -- 756(line=52, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 757(line=53, offs=1) -- 791(line=53, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream_vt.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/intrange.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/arrayref.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/matrixref.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/reference.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/JSmath.sats: 200(line=16, offs=1) -- 229(line=16, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/JSdate.sats: 200(line=16, offs=1) -- 229(line=16, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/JSarray.sats: 200(line=16, offs=1) -- 229(line=16, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/JSglobal.sats: 200(line=16, offs=1) -- 229(line=16, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/ML/list0.sats: 265(line=21, offs=1) -- 297(line=21, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/list0.dats: 364(line=27, offs=1) -- 403(line=28, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/list0.dats: 430(line=32, offs=1) -- 462(line=32, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/list0.dats: 489(line=36, offs=1) -- 524(line=36, offs=36)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/list0.dats: 551(line=40, offs=1) -- 584(line=40, offs=34)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/list0.dats: 585(line=41, offs=1) -- 620(line=41, offs=36)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/filebas.sats: 200(line=16, offs=1) -- 229(line=16, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/list0.dats: 647(line=45, offs=1) -- 679(line=45, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/list0.dats: 706(line=49, offs=1) -- 740(line=49, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/list0.dats: 744(line=51, offs=1) -- 781(line=51, offs=38)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream_vt.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/list0.dats: 782(line=52, offs=1) -- 823(line=52, offs=42)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 362(line=27, offs=1) -- 401(line=29, offs=27)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 428(line=33, offs=1) -- 457(line=33, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 484(line=37, offs=1) -- 516(line=37, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 543(line=41, offs=1) -- 573(line=41, offs=31)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 600(line=45, offs=1) -- 629(line=45, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 630(line=46, offs=1) -- 662(line=46, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list_vt.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 666(line=48, offs=1) -- 700(line=48, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/reference.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 725(line=52, offs=1) -- 756(line=52, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 757(line=53, offs=1) -- 791(line=53, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream_vt.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/list0.dats: 850(line=56, offs=1) -- 886(line=56, offs=37)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/ML/list0.sats: 265(line=21, offs=1) -- 297(line=21, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/list0.dats: 990(line=66, offs=1) -- 1014(line=66, offs=25)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 357(line=27, offs=1) -- 396(line=29, offs=27)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 421(line=33, offs=1) -- 450(line=33, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 475(line=37, offs=1) -- 507(line=37, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 534(line=41, offs=1) -- 564(line=41, offs=31)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 565(line=42, offs=1) -- 597(line=42, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/filebas.sats: 200(line=16, offs=1) -- 229(line=16, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 624(line=46, offs=1) -- 653(line=46, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 680(line=50, offs=1) -- 711(line=50, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 712(line=51, offs=1) -- 747(line=51, offs=36)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 359(line=27, offs=1) -- 398(line=29, offs=27)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 425(line=33, offs=1) -- 454(line=33, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 481(line=37, offs=1) -- 513(line=37, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 540(line=41, offs=1) -- 570(line=41, offs=31)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 597(line=45, offs=1) -- 626(line=45, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 627(line=46, offs=1) -- 661(line=46, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/reference.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 686(line=50, offs=1) -- 717(line=50, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 751(line=53, offs=1) -- 785(line=53, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream_vt.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 786(line=54, offs=1) -- 824(line=54, offs=39)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 362(line=27, offs=1) -- 401(line=29, offs=27)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 428(line=33, offs=1) -- 457(line=33, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 484(line=37, offs=1) -- 516(line=37, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 543(line=41, offs=1) -- 573(line=41, offs=31)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 600(line=45, offs=1) -- 629(line=45, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 630(line=46, offs=1) -- 662(line=46, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/list_vt.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 666(line=48, offs=1) -- 700(line=48, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/reference.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 725(line=52, offs=1) -- 756(line=52, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/stream_vt.dats: 757(line=53, offs=1) -- 791(line=53, offs=35)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/stream_vt.sats: 264(line=21, offs=1) -- 293(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 851(line=58, offs=1) -- 883(line=58, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/JSarray.sats: 200(line=16, offs=1) -- 229(line=16, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/ML/array0.sats: 265(line=21, offs=1) -- 297(line=21, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/array0.dats: 369(line=28, offs=1) -- 408(line=29, offs=32)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/array0.dats: 435(line=33, offs=1) -- 467(line=33, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/array0.dats: 494(line=37, offs=1) -- 529(line=37, offs=36)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/array0.dats: 556(line=41, offs=1) -- 589(line=41, offs=34)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/array0.dats: 590(line=42, offs=1) -- 625(line=42, offs=36)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/filebas.sats: 200(line=16, offs=1) -- 229(line=16, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/array0.dats: 652(line=46, offs=1) -- 688(line=46, offs=37)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/arrayref.sats: 262(line=21, offs=1) -- 291(line=21, offs=30)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/DATS/ML/array0.dats: 689(line=47, offs=1) -- 726(line=47, offs=38)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/ML/array0.sats: 265(line=21, offs=1) -- 297(line=21, offs=33)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30)
*/
/*
staload-prologues(end)
*/
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 577(line=32, offs=1) -- 772(line=39, offs=3)
*/
ATSextcode_beg()
//
// file inclusion
//
var fs = require('fs');
eval(fs.readFileSync('./../output/libatscc2js_all.js').toString());
eval(fs.readFileSync('./../CATS/PRINT/print_store_cats.js').toString());
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(ats2jspre_assert_errmsg_bool0)
ATSdyncst_mac(ats2jspre_eq_int0_int0)
ATSdyncst_mac(ats2jspre_string_indexOf_2)
ATSdyncst_mac(ats2jspre_lt_int0_int0)
ATSdyncst_mac(ats2jspre_string_indexOf_3)
ATSdyncst_mac(ats2jspre_int_repeat_lazy)
ATSdyncst_mac(ats2jspre_print_string)
ATSdyncst_mac(ats2jspre_print_newline)
ATSdyncst_mac(ats2jspre_int_foreach_method)
ATSdyncst_mac(ats2jspre_print_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)
*/
/*
assumelst-declaration(beg)
*/
/*
assumelst-declaration(end)
*/
/*
extypelst-declaration(beg)
*/
/*
extypelst-declaration(end)
*/
// ATSstatmpdec_void(_test01_statmp0) ;
ATSstatmpdec(_test01_statmp1, atstkind_t0ype(atstype_bool)) ;
ATSstatmpdec(_test01_statmp2, atstkind_t0ype(atstype_int)) ;
// ATSstatmpdec_void(_test01_statmp3) ;
ATSstatmpdec(_test01_statmp4, atstkind_t0ype(atstype_bool)) ;
ATSstatmpdec(_test01_statmp5, atstkind_t0ype(atstype_int)) ;
// ATSstatmpdec_void(_test01_statmp6) ;
ATSstatmpdec(_test01_statmp7, atstkind_type(atstype_ptrk)) ;
// ATSstatmpdec_void(_test01_statmp10) ;
ATSstatmpdec(_test01_statmp11, atstype_cloptr) ;
ATSstatic()
atsvoid_t0ype
_test01_patsfun_0() ;

ATSstatic()
atsvoid_t0ype
_test01_patsfun_1(atstkind_t0ype(atstype_int)) ;

ATSclosurerize_beg(_test01_patsfun_0, (), (), atsvoid_t0ype)
typedef
ATSstruct {
atstype_funptr cfun ;
} _test01_patsfun_0__closure_t0ype ;
ATSstatic()
atsvoid_t0ype
_test01_patsfun_0__cfun
(
_test01_patsfun_0__closure_t0ype *p_cenv
)
{
ATSFCreturn_void(_test01_patsfun_0()) ;
} /* end of [cfun] */
ATSstatic()
atstype_cloptr
_test01_patsfun_0__closureinit
(
_test01_patsfun_0__closure_t0ype *p_cenv
)
{
p_cenv->cfun = _test01_patsfun_0__cfun ;
return p_cenv ;
} /* end of [closureinit] */
ATSstatic()
atstype_cloptr
_test01_patsfun_0__closurerize
(
// argumentless
)
{
return _test01_patsfun_0__closureinit(ATS_MALLOC(sizeof(_test01_patsfun_0__closure_t0ype))) ;
} /* end of [closurerize] */
ATSclosurerize_end()
ATSclosurerize_beg(_test01_patsfun_1, (), (atstkind_t0ype(atstype_int)), atsvoid_t0ype)
typedef
ATSstruct {
atstype_funptr cfun ;
} _test01_patsfun_1__closure_t0ype ;
ATSstatic()
atsvoid_t0ype
_test01_patsfun_1__cfun
(
_test01_patsfun_1__closure_t0ype *p_cenv, atstkind_t0ype(atstype_int) arg0
)
{
ATSFCreturn_void(_test01_patsfun_1(arg0)) ;
} /* end of [cfun] */
ATSstatic()
atstype_cloptr
_test01_patsfun_1__closureinit
(
_test01_patsfun_1__closure_t0ype *p_cenv
)
{
p_cenv->cfun = _test01_patsfun_1__cfun ;
return p_cenv ;
} /* end of [closureinit] */
ATSstatic()
atstype_cloptr
_test01_patsfun_1__closurerize
(
// argumentless
)
{
return _test01_patsfun_1__closureinit(ATS_MALLOC(sizeof(_test01_patsfun_1__closure_t0ype))) ;
} /* end of [closurerize] */
ATSclosurerize_end()
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 447(line=27, offs=20) -- 480(line=27, offs=53)
*/
/*
local: 
global: _test01_patsfun_0$0(level=0)
local: 
global: 
*/
ATSstatic()
atsvoid_t0ype
_test01_patsfun_0()
{
/* tmpvardeclst(beg) */
// ATStmpdec_void(tmpret8) ;
// ATStmpdec_void(tmp9) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 447(line=27, offs=20) -- 480(line=27, offs=53)
*/
ATSINSflab(__patsflab__test01_patsfun_0):
/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 454(line=27, offs=27) -- 479(line=27, offs=52)
*/
ATSINSmove_void(tmp9, ats2jspre_print_string(ATSPMVstring("Hello, world!"))) ;

/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 454(line=27, offs=27) -- 479(line=27, offs=52)
*/
ATSINSmove_void(tmpret8, ats2jspre_print_newline()) ;

ATSfunbody_end()
ATSreturn_void(tmpret8) ;
} /* end of [_test01_patsfun_0] */

/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 505(line=28, offs=24) -- 553(line=28, offs=72)
*/
/*
local: 
global: _test01_patsfun_1$0(level=0)
local: 
global: 
*/
ATSstatic()
atsvoid_t0ype
_test01_patsfun_1(atstkind_t0ype(atstype_int) arg0)
{
/* tmpvardeclst(beg) */
// ATStmpdec_void(tmpret12) ;
// ATStmpdec_void(tmp13) ;
// ATStmpdec_void(tmp14) ;
/* tmpvardeclst(end) */
ATSfunbody_beg()
/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 505(line=28, offs=24) -- 553(line=28, offs=72)
*/
ATSINSflab(__patsflab__test01_patsfun_1):
/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 523(line=28, offs=42) -- 553(line=28, offs=72)
*/
ATSINSmove_void(tmp13, ats2jspre_print_int(arg0)) ;

/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 523(line=28, offs=42) -- 553(line=28, offs=72)
*/
ATSINSmove_void(tmp14, ats2jspre_print_string(ATSPMVstring(": Hello, world!"))) ;

/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 523(line=28, offs=42) -- 553(line=28, offs=72)
*/
ATSINSmove_void(tmpret12, ats2jspre_print_newline()) ;

ATSfunbody_end()
ATSreturn_void(tmpret12) ;
} /* end of [_test01_patsfun_1] */

/*
** for initialization(dynloading)
*/
ATSdynloadflag_minit(_057_home_057_hwxi_057_Research_057_ATS_055_Postiats_055_contrib_057_contrib_057_libatscc_057_libatscc2js_057_TEST_057_test01_056_dats__dynloadflag) ;
ATSextern()
atsvoid_t0ype
_057_home_057_hwxi_057_Research_057_ATS_055_Postiats_055_contrib_057_contrib_057_libatscc_057_libatscc2js_057_TEST_057_test01_056_dats__dynload()
{
ATSfunbody_beg()
ATSdynload(/*void*/)
ATSdynloadflag_sta(
_057_home_057_hwxi_057_Research_057_ATS_055_Postiats_055_contrib_057_contrib_057_libatscc_057_libatscc2js_057_TEST_057_test01_056_dats__dynloadflag
) ;
ATSif(
ATSCKiseqz(
_057_home_057_hwxi_057_Research_057_ATS_055_Postiats_055_contrib_057_contrib_057_libatscc_057_libatscc2js_057_TEST_057_test01_056_dats__dynloadflag
)
) ATSthen() {
ATSdynloadset(_057_home_057_hwxi_057_Research_057_ATS_055_Postiats_055_contrib_057_contrib_057_libatscc_057_libatscc2js_057_TEST_057_test01_056_dats__dynloadflag) ;
/*
dynexnlst-initize(beg)
*/
/*
dynexnlst-initize(end)
*/
/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 310(line=22, offs=10) -- 351(line=22, offs=51)
*/
ATSINSmove(_test01_statmp2, ats2jspre_string_indexOf_2(ATSPMVstring("between"), ATSPMVstring("tween"))) ;

/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 310(line=22, offs=10) -- 351(line=22, offs=51)
*/
ATSINSmove(_test01_statmp1, ats2jspre_eq_int0_int0(_test01_statmp2, ATSPMVi0nt(2))) ;

/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 310(line=22, offs=10) -- 351(line=22, offs=51)
*/
ATSINSmove_void(_test01_statmp0, ats2jspre_assert_errmsg_bool0(_test01_statmp1, ATSCSTSPmyloc("/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 310(line=22, offs=10) -- 351(line=22, offs=51)"))) ;

/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 361(line=23, offs=10) -- 405(line=23, offs=54)
*/
ATSINSmove(_test01_statmp5, ats2jspre_string_indexOf_3(ATSPMVstring("between"), ATSPMVstring("tween"), ATSPMVi0nt(3))) ;

/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 361(line=23, offs=10) -- 405(line=23, offs=54)
*/
ATSINSmove(_test01_statmp4, ats2jspre_lt_int0_int0(_test01_statmp5, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 361(line=23, offs=10) -- 405(line=23, offs=54)
*/
ATSINSmove_void(_test01_statmp3, ats2jspre_assert_errmsg_bool0(_test01_statmp4, ATSCSTSPmyloc("/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 361(line=23, offs=10) -- 405(line=23, offs=54)"))) ;

/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 447(line=27, offs=20) -- 480(line=27, offs=53)
*/
ATSINSmove_delay(_test01_statmp7, atstype_int, ATSPMVcfunlab(-1, _test01_patsfun_0, ())) ;
/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 437(line=27, offs=10) -- 481(line=27, offs=54)
*/
ATSINSmove_void(_test01_statmp6, ats2jspre_int_repeat_lazy(ATSPMVi0nt(3), _test01_statmp7)) ;

/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 491(line=28, offs=10) -- 554(line=28, offs=73)
*/
ATSINSmove(_test01_statmp11, ats2jspre_int_foreach_method(ATSPMVi0nt(3))) ;

/*
emit_instr: loc0 = /home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 491(line=28, offs=10) -- 554(line=28, offs=73)
*/
ATSINSmove_void(_test01_statmp10, ATSfunclo_clo(_test01_statmp11, (atstype_cloptr, atstype_cloptr), atsvoid_t0ype)(_test01_statmp11, ATSPMVcfunlab(-1, _test01_patsfun_1, ()))) ;

} /* ATSendif */
ATSfunbody_end()
ATSreturn_void(tmpret_void) ;
} /* end of [*_dynload] */
ATSextern()
atsvoid_t0ype
test01_dynload()
{
ATSfunbody_beg()
ATSINSmove_void(tmpret_void, _057_home_057_hwxi_057_Research_057_ATS_055_Postiats_055_contrib_057_contrib_057_libatscc_057_libatscc2js_057_TEST_057_test01_056_dats__dynload()) ;
ATSfunbody_end()
ATSreturn_void(tmpret_void) ;
} // end-of-dynload-alias
/*
/home/hwxi/Research/ATS-Postiats-contrib/contrib/libatscc/libatscc2js/TEST/test01.dats: 811(line=43, offs=1) -- 891(line=46, offs=3)
*/
ATSextcode_beg()
test01_dynload();
process.stdout.write(ats2jspre_the_print_store_join());
ATSextcode_end()

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

/* end-of-compilation-unit */