/*
**
** The C code is generated by ATS/Postiats
** The compilation time is: 2014-4-1: 22h: 0m
**
*/

/*
** 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_EXCEPTION_NONE
#include "pats_ccomp_memalloca.h"
#include "pats_ccomp_exception.h"
#endif // end of [_ATS_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/bool.cats"
#include "prelude/CATS/char.cats"
#include "prelude/CATS/integer_ptr.cats"
#include "prelude/CATS/integer_fixed.cats"
#include "prelude/CATS/float.cats"
#include "prelude/CATS/memory.cats"
#include "prelude/CATS/string.cats"
#include "prelude/CATS/strptr.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 */

/*
staload-prologues(beg)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/pointer.dats: 1533(line=44, offs=1) -- 1572(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 1636(line=51, offs=1) -- 1675(line=51, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/integer_fixed.dats: 1641(line=51, offs=1) -- 1680(line=51, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/memory.dats: 1410(line=38, offs=1) -- 1449(line=39, offs=32)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 1609(line=48, offs=1) -- 1648(line=48, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/strptr.dats: 1609(line=48, offs=1) -- 1648(line=48, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/strptr.dats: 1671(line=52, offs=1) -- 1718(line=52, offs=48)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 1636(line=51, offs=1) -- 1675(line=51, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/filebas.dats: 1613(line=48, offs=1) -- 1652(line=48, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/filebas.dats: 1675(line=52, offs=1) -- 1722(line=52, offs=48)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 1636(line=51, offs=1) -- 1675(line=51, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/filebas.dats: 1745(line=56, offs=1) -- 1783(line=56, offs=39)
*/
/*
/home/hwxi/research/Postiats/git/libc/SATS/stdio.sats: 1380(line=35, offs=1) -- 1418(line=37, offs=3)
*/

#include "libc/CATS/stdio.cats"
/*
/home/hwxi/research/Postiats/git/libc/SATS/stdio.sats: 1855(line=57, offs=1) -- 1897(line=59, offs=27)
*/
/*
/home/hwxi/research/Postiats/git/libc/sys/SATS/types.sats: 1390(line=36, offs=1) -- 1432(line=38, offs=3)
*/

#include "libc/sys/CATS/types.cats"
/*
/home/hwxi/research/Postiats/git/prelude/DATS/filebas.dats: 1839(line=58, offs=1) -- 1879(line=58, offs=41)
*/
/*
/home/hwxi/research/Postiats/git/libc/SATS/string.sats: 1380(line=35, offs=1) -- 1419(line=37, offs=3)
*/

#include "libc/CATS/string.cats"
/*
/home/hwxi/research/Postiats/git/prelude/DATS/filebas.dats: 13966(line=737, offs=1) -- 13996(line=737, offs=31)
*/
/*
/home/hwxi/research/Postiats/git/libc/SATS/stdio.sats: 1380(line=35, offs=1) -- 1418(line=37, offs=3)
*/

#include "libc/CATS/stdio.cats"
/*
/home/hwxi/research/Postiats/git/libc/SATS/stdio.sats: 1855(line=57, offs=1) -- 1897(line=59, offs=27)
*/
/*
/home/hwxi/research/Postiats/git/libc/sys/SATS/types.sats: 1390(line=36, offs=1) -- 1432(line=38, offs=3)
*/

#include "libc/sys/CATS/types.cats"
/*
/home/hwxi/research/Postiats/git/prelude/DATS/list.dats: 1527(line=44, offs=1) -- 1566(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/list.dats: 1567(line=45, offs=1) -- 1613(line=45, offs=47)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/list_vt.dats: 1536(line=44, offs=1) -- 1575(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/list_vt_mergesort.dats: 1546(line=44, offs=1) -- 1585(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/list_vt_quicksort.dats: 1546(line=44, offs=1) -- 1585(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/array.dats: 1534(line=44, offs=1) -- 1573(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/array.dats: 1574(line=45, offs=1) -- 1616(line=45, offs=43)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/array_bsearch.dats: 1531(line=44, offs=1) -- 1570(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/array_quicksort.dats: 1531(line=44, offs=1) -- 1570(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/arrayptr.dats: 1532(line=44, offs=1) -- 1571(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/arrayref.dats: 1532(line=44, offs=1) -- 1571(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/matrix.dats: 1535(line=44, offs=1) -- 1574(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/matrixptr.dats: 1538(line=44, offs=1) -- 1577(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/matrixref.dats: 1538(line=44, offs=1) -- 1577(line=44, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/stream.dats: 1564(line=46, offs=1) -- 1603(line=46, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/stream_vt.dats: 1567(line=46, offs=1) -- 1606(line=46, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35)
*/
/*
/home/hwxi/research/Postiats/git/prelude/DATS/checkast.dats: 1531(line=44, offs=1) -- 1570(line=45, offs=32)
*/
/*
/home/hwxi/research/Postiats/git/libc/SATS/math.sats: 1380(line=35, offs=1) -- 1417(line=37, offs=3)
*/

#include "libc/CATS/math.cats"
/*
/home/hwxi/research/Postiats/git/libc/DATS/math.dats: 1566(line=41, offs=1) -- 1595(line=41, offs=30)
*/
/*
/home/hwxi/research/Postiats/git/libc/SATS/math.sats: 1380(line=35, offs=1) -- 1417(line=37, offs=3)
*/

#include "libc/CATS/math.cats"
/*
/home/hwxi/research/Postiats/git/libc/SATS/time.sats: 1394(line=36, offs=1) -- 1431(line=38, offs=3)
*/

#include "libc/CATS/time.cats"
/*
/home/hwxi/research/Postiats/git/libc/SATS/time.sats: 1821(line=54, offs=1) -- 1863(line=55, offs=35)
*/
/*
/home/hwxi/research/Postiats/git/libc/sys/SATS/types.sats: 1390(line=36, offs=1) -- 1432(line=38, offs=3)
*/

#include "libc/sys/CATS/types.cats"
/*
/home/hwxi/research/Postiats/git/libc/sys/SATS/time.sats: 1391(line=36, offs=1) -- 1432(line=38, offs=3)
*/

#include "libc/sys/CATS/time.cats"
/*
/home/hwxi/research/Postiats/git/libc/sys/SATS/time.sats: 1657(line=48, offs=1) -- 1699(line=49, offs=35)
*/
/*
/home/hwxi/research/Postiats/git/libc/sys/SATS/types.sats: 1390(line=36, offs=1) -- 1432(line=38, offs=3)
*/

#include "libc/sys/CATS/types.cats"
/*
/home/hwxi/research/Postiats/git/contrib/cairo/SATS/cairo.sats: 1140(line=38, offs=1) -- 1179(line=40, offs=3)
*/

#include "cairo/CATS/cairo.cats"
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/SATS/gtkcairoclock.sats: 1792(line=45, offs=1) -- 1826(line=45, offs=35)
*/
/*
/home/hwxi/research/Postiats/git/contrib/cairo/SATS/cairo.sats: 1140(line=38, offs=1) -- 1179(line=40, offs=3)
*/

#include "cairo/CATS/cairo.cats"
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1607(line=36, offs=1) -- 1637(line=36, offs=31)
*/
/*
/home/hwxi/research/Postiats/git/contrib/GTK/SATS/gdk.sats: 1178(line=39, offs=1) -- 1213(line=41, offs=3)
*/

#include "GTK/CATS/gdk.cats"
/*
/home/hwxi/research/Postiats/git/contrib/GTK/SATS/gdk.sats: 1477(line=53, offs=1) -- 1516(line=53, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3)
*/

#include "glib/CATS/glib.cats"
/*
/home/hwxi/research/Postiats/git/contrib/GTK/SATS/gdk.sats: 1517(line=54, offs=1) -- 1566(line=54, offs=50)
*/
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1182(line=39, offs=1) -- 1226(line=41, offs=3)
*/

#include "glib/CATS/glib-object.cats"
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1453(line=51, offs=1) -- 1481(line=51, offs=29)
*/
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3)
*/

#include "glib/CATS/glib.cats"
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1638(line=37, offs=1) -- 1668(line=37, offs=31)
*/
/*
/home/hwxi/research/Postiats/git/contrib/GTK/SATS/gtk.sats: 1178(line=39, offs=1) -- 1213(line=41, offs=3)
*/

#include "GTK/CATS/gtk.cats"
/*
/home/hwxi/research/Postiats/git/contrib/GTK/SATS/gtk.sats: 1477(line=53, offs=1) -- 1516(line=53, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3)
*/

#include "glib/CATS/glib.cats"
/*
/home/hwxi/research/Postiats/git/contrib/GTK/SATS/gtk.sats: 1517(line=54, offs=1) -- 1566(line=54, offs=50)
*/
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1182(line=39, offs=1) -- 1226(line=41, offs=3)
*/

#include "glib/CATS/glib-object.cats"
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1453(line=51, offs=1) -- 1481(line=51, offs=29)
*/
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3)
*/

#include "glib/CATS/glib.cats"
/*
/home/hwxi/research/Postiats/git/contrib/GTK/SATS/gtk.sats: 2297(line=92, offs=1) -- 2317(line=92, offs=21)
*/
/*
/home/hwxi/research/Postiats/git/contrib/GTK/SATS/gdk.sats: 1178(line=39, offs=1) -- 1213(line=41, offs=3)
*/

#include "GTK/CATS/gdk.cats"
/*
/home/hwxi/research/Postiats/git/contrib/GTK/SATS/gdk.sats: 1477(line=53, offs=1) -- 1516(line=53, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3)
*/

#include "glib/CATS/glib.cats"
/*
/home/hwxi/research/Postiats/git/contrib/GTK/SATS/gdk.sats: 1517(line=54, offs=1) -- 1566(line=54, offs=50)
*/
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1182(line=39, offs=1) -- 1226(line=41, offs=3)
*/

#include "glib/CATS/glib-object.cats"
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1453(line=51, offs=1) -- 1481(line=51, offs=29)
*/
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3)
*/

#include "glib/CATS/glib.cats"
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1669(line=38, offs=1) -- 1701(line=38, offs=33)
*/
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3)
*/

#include "glib/CATS/glib.cats"
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1702(line=39, offs=1) -- 1741(line=39, offs=40)
*/
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1182(line=39, offs=1) -- 1226(line=41, offs=3)
*/

#include "glib/CATS/glib-object.cats"
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib-object.sats: 1453(line=51, offs=1) -- 1481(line=51, offs=29)
*/
/*
/home/hwxi/research/Postiats/git/contrib/glib/SATS/glib.sats: 1182(line=39, offs=1) -- 1219(line=41, offs=3)
*/

#include "glib/CATS/glib.cats"
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1764(line=43, offs=1) -- 1798(line=43, offs=35)
*/
/*
/home/hwxi/research/Postiats/git/contrib/cairo/SATS/cairo.sats: 1140(line=38, offs=1) -- 1179(line=40, offs=3)
*/

#include "cairo/CATS/cairo.cats"
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1821(line=47, offs=1) -- 1859(line=47, offs=39)
*/
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/SATS/gtkcairoclock.sats: 1792(line=45, offs=1) -- 1826(line=45, offs=35)
*/
/*
/home/hwxi/research/Postiats/git/contrib/cairo/SATS/cairo.sats: 1140(line=38, offs=1) -- 1179(line=40, offs=3)
*/

#include "cairo/CATS/cairo.cats"
/*
staload-prologues(end)
*/
/*
/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3288(line=147, offs=1) -- 3322(line=149, offs=3)
*/
typedef char **charptrptr ;
/*
typedefs-for-tyrecs-and-tysums(beg)
*/
typedef
struct {
atstkind_t0ype(atstype_double) atslab__0; 
atstkind_t0ype(atstype_double) atslab__1; 
atstkind_t0ype(atstype_double) atslab__2; 
} postiats_tyrec_0 ;
/*
typedefs-for-tyrecs-and-tysums(end)
*/
/*
dynconlst-declaration(beg)
*/
/*
dynconlst-declaration(end)
*/
/*
dyncstlst-declaration(beg)
*/
ATSdyncst_mac(atslib_gettimeofday_tv) ;
ATSdyncst_mac(atspre_assert_errmsg_bool1) ;
ATSdyncst_mac(atspre_g1int2int_int_int) ;
ATSdyncst_mac(atspre_g1int_gte_int) ;
ATSdyncst_mac(atslib_localtime_r) ;
ATSdyncst_mac(atspre_gt_ptr1_intz) ;
ATSdyncst_mac(atspre_div_double_int) ;
ATSdyncst_mac(atspre_g0float_mul_double) ;
ATSdyncst_mac(atspre_g0float_add_double) ;
ATSdyncst_mac(atspre_mul_double_int) ;
ATSdyncst_mac(atspre_mul_int_double) ;
ATSdyncst_extfun(_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__mytime_get, (), postiats_tyrec_0) ;
ATSdyncst_mac(atscntrb_cairo_set_source_rgba) ;
ATSdyncst_mac(atscntrb_cairo_paint) ;
ATSdyncst_mac(atscntrb_cairo_set_line_cap) ;
ATSdyncst_mac(atscntrb_cairo_set_line_width) ;
ATSdyncst_mac(atscntrb_cairo_translate) ;
ATSdyncst_mac(atscntrb_cairo_arc) ;
ATSdyncst_mac(atscntrb_cairo_stroke) ;
ATSdyncst_mac(atslib_sin_double) ;
ATSdyncst_mac(atspre_g0float_neg_double) ;
ATSdyncst_mac(atslib_cos_double) ;
ATSdyncst_mac(atscntrb_cairo_fill) ;
ATSdyncst_mac(atscntrb_cairo_move_to) ;
ATSdyncst_mac(atscntrb_cairo_line_to) ;
ATSdyncst_mac(atspre_g0int2float_int_double) ;
ATSdyncst_mac(atspre_g0float_min_double) ;
ATSdyncst_mac(atscntrb_cairo_save) ;
ATSdyncst_mac(atscntrb_cairo_scale) ;
ATSdyncst_mac(atscntrb_cairo_restore) ;
ATSdyncst_extfun(_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__mydraw_clock, (atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)), atsvoid_t0ype) ;
ATSdyncst_mac(atscntrb_gtk_window_new) ;
ATSdyncst_mac(atscntrb_gtk_window_set_default_size) ;
ATSdyncst_mac(atscntrb_gtk_window_set_title) ;
ATSdyncst_mac(atscntrb_gtk_drawing_area_new) ;
ATSdyncst_mac(atscntrb_gtk_container_add) ;
ATSdyncst_mac(atscntrb_g_signal_connect) ;
ATSdyncst_mac(atsptr_null) ;
ATSdyncst_mac(atscntrb_g_object_unref) ;
ATSdyncst_mac(atscntrb_g_timeout_add) ;
ATSdyncst_mac(atscntrb_gtk_widget_show_all) ;
ATSdyncst_mac(atscntrb_gtk_main) ;
ATSdyncst_mac(atspre_ptr0_isnot_null) ;
ATSdyncst_mac(atscntrb_gtk_widget_get_window) ;
ATSdyncst_mac(atspre_ptr_isnot_null) ;
ATSdyncst_mac(atscntrb_gdk_cairo_create) ;
ATSdyncst_mac(atscntrb_gtk_widget_get_allocation) ;
ATSdyncst_mac(atscntrb_cairo_destroy) ;
ATSdyncst_mac(atscntrb_gtk_main_quit) ;
ATSdyncst_mac(atscntrb_gtk_widget_queue_draw_area) ;
/*
dyncstlst-declaration(end)
*/
/*
dynvalist-implementation(beg)
*/
/*
dynvalist-implementation(end)
*/
/*
exnconlst-declaration(beg)
*/
#ifndef _ATS_EXCEPTION_NONE
extern void the_atsexncon_initize (atstype_exncon *d2c, char *exnmsg) ;
#endif // end of [_ATS_EXCEPTION_NONE]
/*
exnconlst-declaration(end)
*/
/*
assumelst-declaration(beg)
*/
/*
assumelst-declaration(end)
*/
/*
extypelst-declaration(beg)
*/
/*
extypelst-declaration(end)
*/
#if(0)
ATSglobaldec()
postiats_tyrec_0
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__mytime_get() ;
#endif // end of [QUALIFIED]

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

ATSstaticdec()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gte_g1int_int__1__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

ATSstaticdec()
atsvoid_t0ype
draw_clock_7(atsrefarg0_type(atstkind_type(atstype_ptrk))) ;

#if(0)
ATSglobaldec()
atsvoid_t0ype
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__mydraw_clock(atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;
#endif // end of [QUALIFIED]

#if(0)
ATSglobaldec()
atsvoid_t0ype
mainats_argc_argv_0(atstkind_t0ype(atstype_int), atsrefarg0_type(atstkind_type(atstype_ptrk))) ;
#endif // end of [QUALIFIED]

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

#if(0)
#if(0)
ATSglobaldec()
atstkind_t0ype(atstype_uint)
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__15() ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

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

#if(0)
#if(0)
ATSglobaldec()
atsvoid_t0ype
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__17() ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstaticdec()
atsvoid_t0ype
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__17__1() ;

ATSstaticdec()
atstkind_type(atstype_ptrk)
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__14__1() ;

#if(0)
#if(0)
ATSglobaldec()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__stropt_is_some__20(atstkind_type(atstype_ptrk)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstaticdec()
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__stropt_is_some__20__1(atstkind_type(atstype_ptrk)) ;

#if(0)
#if(0)
ATSglobaldec()
gboolean
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__22(atsrefarg0_type(atstkind_type(atstype_ptrk))) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstaticdec()
gboolean
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__22__1(atsrefarg0_type(atstkind_type(atstype_ptrk))) ;

#if(0)
ATSstaticdec()
atsvoid_t0ype
draw_drawingarea_24__24(atsrefarg0_type(atstkind_type(atstype_ptrk))) ;
#endif // end of [TEMPLATE]

ATSstaticdec()
atsvoid_t0ype
draw_drawingarea_24__24__1(atsrefarg0_type(atstkind_type(atstype_ptrk))) ;

ATSstaticdec()
atsvoid_t0ype
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__16__1(atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ;

#if(0)
#if(0)
ATSglobaldec()
atsvoid_t0ype
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__27(atsrefarg0_type(atstkind_type(atstype_ptrk)), atsrefarg1_type(GdkEvent), atstkind_type(atstype_ptrk)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstaticdec()
atsvoid_t0ype
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__27__1(atsrefarg0_type(atstkind_type(atstype_ptrk)), atsrefarg1_type(GdkEvent), atstkind_type(atstype_ptrk)) ;

#if(0)
#if(0)
ATSglobaldec()
gboolean
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__29(atsrefarg0_type(atstkind_type(atstype_ptrk)), atsrefarg1_type(GdkEvent), atstkind_type(atstype_ptrk)) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstaticdec()
gboolean
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__29__1(atsrefarg0_type(atstkind_type(atstype_ptrk)), atsrefarg1_type(GdkEvent), atstkind_type(atstype_ptrk)) ;

ATSstaticdec()
atstkind_t0ype(atstype_uint)
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__15__1() ;

#if(0)
#if(0)
ATSglobaldec()
gboolean
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__32(atsrefarg0_type(atstkind_type(atstype_ptrk))) ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstaticdec()
gboolean
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__32__1(atsrefarg0_type(atstkind_type(atstype_ptrk))) ;

#if(0)
#if(0)
ATSglobaldec()
atsvoid_t0ype
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__34() ;
#endif // end of [QUALIFIED]
#endif // end of [TEMPLATE]

ATSstaticdec()
atsvoid_t0ype
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__34__1() ;

/*
/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 790(line=54, offs=12) -- 1266(line=73, offs=4)
*/
/*
local: 
global: mytime_get$0$0(level=0)
local: 
global: 
*/
ATSglobaldec()
postiats_tyrec_0
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__mytime_get()
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret0, postiats_tyrec_0) ;
ATStmpdec(tmpref1, atslib_timeval_type) ;
ATStmpdec(tmp2, atstkind_t0ype(atstype_int)) ;
ATStmpdec_void(tmp3, atsvoid_t0ype) ;
ATStmpdec(tmp4, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmpref9, atslib_tm_struct_type) ;
ATStmpdec(tmp10, atstkind_type(atstype_ptrk)) ;
ATStmpdec_void(tmp11, atsvoid_t0ype) ;
ATStmpdec(tmp12, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp13, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp14, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmp15, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp16, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp17, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp18, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp19, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp20, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp21, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp22, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp23, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp24, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp25, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp26, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp27, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp28, atstkind_t0ype(atstype_double)) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 779(line=54, offs=1) -- 1266(line=73, offs=4)
*/
__patsflab_mytime_get:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 795(line=54, offs=17) -- 1266(line=73, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 806(line=56, offs=5) -- 808(line=56, offs=7)
*/
/*
ATSINStmpdec(tmpref1) ;
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 829(line=57, offs=11) -- 845(line=57, offs=27)
*/
ATSINSmove(tmp2, atslib_gettimeofday_tv(ATSPMVrefarg1(ATSPMVptrof(tmpref1)))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 856(line=58, offs=10) -- 875(line=58, offs=29)
*/
ATSINSmove(tmp4, ATSLIB_056_prelude__gte_g1int_int__1__1(tmp2, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 856(line=58, offs=10) -- 875(line=58, offs=29)
*/
ATSINSmove_void(tmp3, atspre_assert_errmsg_bool1(tmp4, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 856(line=58, offs=10) -- 875(line=58, offs=29)"))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 911(line=61, offs=5) -- 913(line=61, offs=7)
*/
/*
ATSINStmpdec(tmpref9) ;
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 952(line=62, offs=12) -- 979(line=62, offs=39)
*/
ATSINSmove(tmp10, atslib_localtime_r(ATSPMVrefarg1(ATSPMVptrof(ATSSELfltrec(tmpref1, atslib_timeval_type, tv_sec))), ATSPMVrefarg1(ATSPMVptrof(tmpref9)))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1004(line=63, offs=25) -- 1012(line=63, offs=33)
*/
ATSINSmove(tmp12, atspre_gt_ptr1_intz(tmp10, ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 989(line=63, offs=10) -- 1026(line=63, offs=47)
*/
ATSINSmove_void(tmp11, atspre_assert_errmsg_bool1(tmp12, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1014(line=63, offs=35) -- 1025(line=63, offs=46)"))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1064(line=65, offs=11) -- 1073(line=65, offs=20)
*/
ATSINSmove(tmp13, ATSSELfltrec(tmpref9, atslib_tm_struct_type, tm_sec)) ;
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1078(line=66, offs=5) -- 1082(line=66, offs=9)
*/
ATSINSmove(tmp14, ATSPMVcastfn(cast2int, atstkind_t0ype(atstype_int), ATSSELfltrec(tmpref1, atslib_timeval_type, tv_usec))) ;
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1120(line=67, offs=11) -- 1129(line=67, offs=20)
*/
ATSINSmove(tmp18, atspre_mul_double_int(ATSPMVf0loat(1.0), tmp13)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1132(line=67, offs=23) -- 1142(line=67, offs=33)
*/
ATSINSmove(tmp20, atspre_mul_double_int(ATSPMVf0loat(1.0), tmp14)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1132(line=67, offs=23) -- 1152(line=67, offs=43)
*/
ATSINSmove(tmp19, atspre_div_double_int(tmp20, ATSPMVi0nt(1000000))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1120(line=67, offs=11) -- 1152(line=67, offs=43)
*/
ATSINSmove(tmp17, atspre_g0float_add_double(tmp18, tmp19)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1120(line=67, offs=11) -- 1158(line=67, offs=49)
*/
ATSINSmove(tmp16, atspre_g0float_mul_double(tmp17, ATSPMVf0loat(3.14159265358979323846))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1120(line=67, offs=11) -- 1163(line=67, offs=54)
*/
ATSINSmove(tmp15, atspre_div_double_int(tmp16, ATSPMVi0nt(30))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1173(line=68, offs=10) -- 1187(line=68, offs=24)
*/
ATSINSmove(tmp23, atspre_mul_int_double(ATSSELfltrec(tmpref9, atslib_tm_struct_type, tm_min), ATSPMVf0loat(3.14159265358979323846))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1173(line=68, offs=10) -- 1192(line=68, offs=29)
*/
ATSINSmove(tmp22, atspre_div_double_int(tmp23, ATSPMVi0nt(30))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1195(line=68, offs=32) -- 1202(line=68, offs=39)
*/
ATSINSmove(tmp24, atspre_div_double_int(tmp15, ATSPMVi0nt(60))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1173(line=68, offs=10) -- 1202(line=68, offs=39)
*/
ATSINSmove(tmp21, atspre_g0float_add_double(tmp22, tmp24)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1212(line=69, offs=10) -- 1227(line=69, offs=25)
*/
ATSINSmove(tmp27, atspre_mul_int_double(ATSSELfltrec(tmpref9, atslib_tm_struct_type, tm_hour), ATSPMVf0loat(3.14159265358979323846))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1212(line=69, offs=10) -- 1231(line=69, offs=29)
*/
ATSINSmove(tmp26, atspre_div_double_int(tmp27, ATSPMVi0nt(6))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1234(line=69, offs=32) -- 1241(line=69, offs=39)
*/
ATSINSmove(tmp28, atspre_div_double_int(tmp21, ATSPMVi0nt(12))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1212(line=69, offs=10) -- 1241(line=69, offs=39)
*/
ATSINSmove(tmp25, atspre_g0float_add_double(tmp26, tmp28)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1250(line=72, offs=3) -- 1262(line=72, offs=15)
*/
ATSINSstore_fltrec_ofs (tmpret0, postiats_tyrec_0, atslab__0, tmp25) ;
ATSINSstore_fltrec_ofs (tmpret0, postiats_tyrec_0, atslab__1, tmp21) ;
ATSINSstore_fltrec_ofs (tmpret0, postiats_tyrec_0, atslab__2, tmp15) ;
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 795(line=54, offs=17) -- 1266(line=73, offs=4)
*/
/*
INSletpop()
*/
/* funbodyinstrlst(end) */
ATSreturn(tmpret0) ;
} /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__mytime_get] */

#if(0)
/*
/home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28716(line=778, offs=15) -- 28757(line=778, offs=56)
*/
/*
local: 
global: gte_g1int_int$1$0(level=0)
local: 
global: 
*/
ATSglobaldec()
/*
imparg = tk(4341)
tmparg = S2Evar(tk(4341))
tmpsub = None()
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gte_g1int_int__1(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret5, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp6, atstkind_t0ype(atstyvar_type(tk))) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28702(line=778, offs=1) -- 28757(line=778, offs=56)
*/
__patsflab_gte_g1int_int:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28743(line=778, offs=42) -- 28755(line=778, offs=54)
*/
ATSINSmove(tmp6, PMVtmpltcst(g1int2int<S2Eextkind(atstype_int), S2Evar(tk(4341))>)(arg1)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28725(line=778, offs=24) -- 28757(line=778, offs=56)
*/
ATSINSmove(tmpret5, PMVtmpltcst(g1int_gte<S2Evar(tk(4341))>)(arg0, tmp6)) ;

/* funbodyinstrlst(end) */
ATSreturn(tmpret5) ;
} /* end of [ATSLIB_056_prelude__gte_g1int_int__1] */
#endif // end of [TEMPLATE]

/*
/home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28716(line=778, offs=15) -- 28757(line=778, offs=56)
*/
/*
local: 
global: gte_g1int_int$1$1(level=1)
local: 
global: 
*/
ATSstaticdec()
/*
imparg = tk(4341)
tmparg = S2Evar(tk(4341))
tmpsub = Some(tk(4341) -> S2Eextkind(atstype_int))
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__gte_g1int_int__1__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret5__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp6__1, atstkind_t0ype(atstype_int)) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28702(line=778, offs=1) -- 28757(line=778, offs=56)
*/
__patsflab_gte_g1int_int:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28743(line=778, offs=42) -- 28755(line=778, offs=54)
*/
ATSINSmove(tmp6__1, atspre_g1int2int_int_int(arg1)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/integer.dats: 28725(line=778, offs=24) -- 28757(line=778, offs=56)
*/
ATSINSmove(tmpret5__1, atspre_g1int_gte_int(arg0, tmp6__1)) ;

/* funbodyinstrlst(end) */
ATSreturn(tmpret5__1) ;
} /* end of [ATSLIB_056_prelude__gte_g1int_int__1__1] */

/*
/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1315(line=77, offs=4) -- 2741(line=119, offs=2)
*/
/*
local: 
global: draw_clock_7$0(level=0)
local: 
global: 
*/
ATSstaticdec()
atsvoid_t0ype
draw_clock_7(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret29, atsvoid_t0ype) ;
ATStmpdec(tmp30, postiats_tyrec_0) ;
ATStmpdec(tmp31, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp32, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp33, atstkind_t0ype(atstype_double)) ;
ATStmpdec_void(tmp34, atsvoid_t0ype) ;
ATStmpdec_void(tmp35, atsvoid_t0ype) ;
ATStmpdec_void(tmp36, atsvoid_t0ype) ;
ATStmpdec_void(tmp37, atsvoid_t0ype) ;
ATStmpdec_void(tmp38, atsvoid_t0ype) ;
ATStmpdec_void(tmp39, atsvoid_t0ype) ;
ATStmpdec_void(tmp40, atsvoid_t0ype) ;
ATStmpdec(tmp41, atstkind_t0ype(atstype_double)) ;
ATStmpdec_void(tmp42, atsvoid_t0ype) ;
ATStmpdec_void(tmp43, atsvoid_t0ype) ;
ATStmpdec_void(tmp44, atsvoid_t0ype) ;
ATStmpdec(tmp45, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp46, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp47, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp48, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp49, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp50, atstkind_t0ype(atstype_double)) ;
ATStmpdec_void(tmp51, atsvoid_t0ype) ;
ATStmpdec_void(tmp52, atsvoid_t0ype) ;
ATStmpdec_void(tmp53, atsvoid_t0ype) ;
ATStmpdec_void(tmp54, atsvoid_t0ype) ;
ATStmpdec(tmp55, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp56, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp57, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp58, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp59, atstkind_t0ype(atstype_double)) ;
ATStmpdec_void(tmp60, atsvoid_t0ype) ;
ATStmpdec_void(tmp61, atsvoid_t0ype) ;
ATStmpdec_void(tmp62, atsvoid_t0ype) ;
ATStmpdec_void(tmp63, atsvoid_t0ype) ;
ATStmpdec(tmp64, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp65, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp66, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp67, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp68, atstkind_t0ype(atstype_double)) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1315(line=77, offs=4) -- 2741(line=119, offs=2)
*/
__patsflab_draw_clock_7:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1354(line=78, offs=29) -- 2741(line=119, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1670(line=89, offs=22) -- 1683(line=89, offs=35)
*/
ATSINSmove(tmp30, _057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__mytime_get()) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1656(line=89, offs=8) -- 1658(line=89, offs=10)
*/
ATSINSmove(tmp31, ATSSELfltrec(tmp30, postiats_tyrec_0, atslab__0)) ;
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1660(line=89, offs=12) -- 1662(line=89, offs=14)
*/
ATSINSmove(tmp32, ATSSELfltrec(tmp30, postiats_tyrec_0, atslab__1)) ;
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1664(line=89, offs=16) -- 1666(line=89, offs=18)
*/
ATSINSmove(tmp33, ATSSELfltrec(tmp30, postiats_tyrec_0, atslab__2)) ;
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1698(line=91, offs=12) -- 1744(line=91, offs=58)
*/
ATSINSmove_void(tmp34, atscntrb_cairo_set_source_rgba(ATSPMVrefarg0(arg0), ATSPMVf0loat(1.0), ATSPMVf0loat(1.0), ATSPMVf0loat(1.0), ATSPMVf0loat(1.0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1756(line=92, offs=12) -- 1771(line=92, offs=27)
*/
ATSINSmove_void(tmp35, atscntrb_cairo_paint(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1784(line=93, offs=12) -- 1829(line=93, offs=57)
*/
ATSINSmove_void(tmp36, atscntrb_cairo_set_line_cap(ATSPMVrefarg0(arg0), ATSextval(CAIRO_LINE_CAP_ROUND))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1841(line=94, offs=12) -- 1871(line=94, offs=42)
*/
ATSINSmove_void(tmp37, atscntrb_cairo_set_line_width(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.1))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1918(line=97, offs=12) -- 1964(line=97, offs=58)
*/
ATSINSmove_void(tmp38, atscntrb_cairo_set_source_rgba(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0), ATSPMVf0loat(1.0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1976(line=98, offs=12) -- 2006(line=98, offs=42)
*/
ATSINSmove_void(tmp39, atscntrb_cairo_translate(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.5), ATSPMVf0loat(0.5))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2053(line=99, offs=47) -- 2057(line=99, offs=51)
*/
ATSINSmove(tmp41, atspre_mul_int_double(ATSPMVi0nt(2), ATSPMVf0loat(3.14159265358979323846))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2018(line=99, offs=12) -- 2058(line=99, offs=52)
*/
ATSINSmove_void(tmp40, atscntrb_cairo_arc(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.4), ATSPMVf0loat(0.0), tmp41)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2070(line=100, offs=12) -- 2086(line=100, offs=28)
*/
ATSINSmove_void(tmp42, atscntrb_cairo_stroke(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2146(line=103, offs=12) -- 2192(line=103, offs=58)
*/
ATSINSmove_void(tmp43, atscntrb_cairo_set_source_rgba(ATSPMVrefarg0(arg0), ATSPMVf0loat(1.0), ATSPMVf0loat(1.0), ATSPMVf0loat(1.0), ATSPMVf0loat(0.6))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2225(line=104, offs=33) -- 2231(line=104, offs=39)
*/
ATSINSmove(tmp46, atslib_sin_double(tmp33)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2219(line=104, offs=27) -- 2231(line=104, offs=39)
*/
ATSINSmove(tmp45, atspre_g0float_mul_double(ATSPMVf0loat(0.4), tmp46)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2241(line=104, offs=49) -- 2247(line=104, offs=55)
*/
ATSINSmove(tmp49, atslib_cos_double(tmp33)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2240(line=104, offs=48) -- 2247(line=104, offs=55)
*/
ATSINSmove(tmp48, atspre_g0float_neg_double(tmp49)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2234(line=104, offs=42) -- 2247(line=104, offs=55)
*/
ATSINSmove(tmp47, atspre_g0float_mul_double(ATSPMVf0loat(0.4), tmp48)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2261(line=104, offs=69) -- 2265(line=104, offs=73)
*/
ATSINSmove(tmp50, atspre_mul_int_double(ATSPMVi0nt(2), ATSPMVf0loat(3.14159265358979323846))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2204(line=104, offs=12) -- 2266(line=104, offs=74)
*/
ATSINSmove_void(tmp44, atscntrb_cairo_arc(ATSPMVrefarg0(arg0), tmp45, tmp47, ATSPMVf0loat(0.05), ATSPMVf0loat(0.0), tmp50)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2278(line=105, offs=12) -- 2292(line=105, offs=26)
*/
ATSINSmove_void(tmp51, atscntrb_cairo_fill(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2340(line=108, offs=12) -- 2386(line=108, offs=58)
*/
ATSINSmove_void(tmp52, atscntrb_cairo_set_source_rgba(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.2), ATSPMVf0loat(0.2), ATSPMVf0loat(1.0), ATSPMVf0loat(0.6))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2398(line=109, offs=12) -- 2426(line=109, offs=40)
*/
ATSINSmove_void(tmp53, atscntrb_cairo_move_to(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2463(line=110, offs=37) -- 2469(line=110, offs=43)
*/
ATSINSmove(tmp56, atslib_sin_double(tmp32)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2457(line=110, offs=31) -- 2469(line=110, offs=43)
*/
ATSINSmove(tmp55, atspre_g0float_mul_double(ATSPMVf0loat(0.4), tmp56)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2479(line=110, offs=53) -- 2485(line=110, offs=59)
*/
ATSINSmove(tmp59, atslib_cos_double(tmp32)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2478(line=110, offs=52) -- 2485(line=110, offs=59)
*/
ATSINSmove(tmp58, atspre_g0float_neg_double(tmp59)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2472(line=110, offs=46) -- 2485(line=110, offs=59)
*/
ATSINSmove(tmp57, atspre_g0float_mul_double(ATSPMVf0loat(0.4), tmp58)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2438(line=110, offs=12) -- 2487(line=110, offs=61)
*/
ATSINSmove_void(tmp54, atscntrb_cairo_line_to(ATSPMVrefarg0(arg0), tmp55, tmp57)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2499(line=111, offs=12) -- 2514(line=111, offs=27)
*/
ATSINSmove_void(tmp60, atscntrb_cairo_stroke(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2560(line=114, offs=12) -- 2606(line=114, offs=58)
*/
ATSINSmove_void(tmp61, atscntrb_cairo_set_source_rgba(ATSPMVrefarg0(arg0), ATSPMVf0loat(1.0), ATSPMVf0loat(0.2), ATSPMVf0loat(0.2), ATSPMVf0loat(0.6))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2618(line=115, offs=12) -- 2646(line=115, offs=40)
*/
ATSINSmove_void(tmp62, atscntrb_cairo_move_to(ATSPMVrefarg0(arg0), ATSPMVf0loat(0.0), ATSPMVf0loat(0.0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2683(line=116, offs=37) -- 2689(line=116, offs=43)
*/
ATSINSmove(tmp65, atslib_sin_double(tmp31)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2677(line=116, offs=31) -- 2689(line=116, offs=43)
*/
ATSINSmove(tmp64, atspre_g0float_mul_double(ATSPMVf0loat(0.2), tmp65)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2699(line=116, offs=53) -- 2705(line=116, offs=59)
*/
ATSINSmove(tmp68, atslib_cos_double(tmp31)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2698(line=116, offs=52) -- 2705(line=116, offs=59)
*/
ATSINSmove(tmp67, atspre_g0float_neg_double(tmp68)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2692(line=116, offs=46) -- 2705(line=116, offs=59)
*/
ATSINSmove(tmp66, atspre_g0float_mul_double(ATSPMVf0loat(0.2), tmp67)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2658(line=116, offs=12) -- 2707(line=116, offs=61)
*/
ATSINSmove_void(tmp63, atscntrb_cairo_line_to(ATSPMVrefarg0(arg0), tmp64, tmp66)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2719(line=117, offs=12) -- 2735(line=117, offs=28)
*/
ATSINSmove_void(tmpret29, atscntrb_cairo_stroke(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 1354(line=78, offs=29) -- 2741(line=119, offs=2)
*/
/*
INSletpop()
*/
/* funbodyinstrlst(end) */
ATSreturn_void(tmpret29) ;
} /* end of [draw_clock_7] */

/*
/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2932(line=132, offs=1) -- 3237(line=143, offs=2)
*/
/*
local: draw_clock_7$0(level=0)
global: draw_clock_7$0(level=0), mydraw_clock$11$0(level=0)
local: 
global: 
*/
ATSglobaldec()
atsvoid_t0ype
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__mydraw_clock(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_t0ype(atstype_int) arg1, atstkind_t0ype(atstype_int) arg2)
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret69, atsvoid_t0ype) ;
ATStmpdec(tmp70, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp71, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp72, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp73, atstkind_t0ype(atstype_double)) ;
ATStmpdec(tmp74, atstkind_t0ype(atstype_double)) ;
ATStmpdec_void(tmp75, atsvoid_t0ype) ;
ATStmpdec_void(tmp76, atsvoid_t0ype) ;
ATStmpdec_void(tmp77, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2919(line=131, offs=1) -- 3237(line=143, offs=2)
*/
__patsflab_mydraw_clock:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2958(line=134, offs=5) -- 3237(line=143, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2979(line=135, offs=11) -- 3007(line=135, offs=39)
*/
ATSINSmove(tmp70, atspre_g0int2float_int_double(arg1)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3019(line=136, offs=11) -- 3048(line=136, offs=40)
*/
ATSINSmove(tmp71, atspre_g0int2float_int_double(arg2)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3061(line=137, offs=12) -- 3071(line=137, offs=22)
*/
ATSINSmove(tmp72, atspre_g0float_min_double(tmp70, tmp71)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3083(line=138, offs=12) -- 3088(line=138, offs=17)
*/
ATSINSmove(tmp73, atspre_div_double_int(tmp70, ATSPMVi0nt(2))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3098(line=138, offs=27) -- 3103(line=138, offs=32)
*/
ATSINSmove(tmp74, atspre_div_double_int(tmp71, ATSPMVi0nt(2))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3123(line=139, offs=20) -- 3137(line=139, offs=34)
*/
ATSINSmove_void(tmp75, atscntrb_cairo_save(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3150(line=140, offs=12) -- 3172(line=140, offs=34)
*/
ATSINSmove_void(tmp76, atscntrb_cairo_scale(ATSPMVrefarg0(arg0), tmp70, tmp71)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3184(line=141, offs=12) -- 3198(line=141, offs=26)
*/
ATSINSmove_void(tmp77, draw_clock_7(ATSPMVrefarg0(arg0))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3211(line=142, offs=12) -- 3235(line=142, offs=36)
*/
ATSINSmove_void(tmpret69, atscntrb_cairo_restore(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 2958(line=134, offs=5) -- 3237(line=143, offs=2)
*/
/*
INSletpop()
*/
/* funbodyinstrlst(end) */
ATSreturn_void(tmpret69) ;
} /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__mydraw_clock] */

/*
/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3556(line=160, offs=7) -- 3993(line=177, offs=2)
*/
/*
local: 
global: mainats_argc_argv_0$13$0(level=0)
local: 
global: 
*/
ATSglobaldec()
atsvoid_t0ype
mainats_argc_argv_0(atstkind_t0ype(atstype_int) arg0, atsrefarg0_type(atstkind_type(atstype_ptrk)) arg1)
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret78, atsvoid_t0ype) ;
ATStmpdec(tmpref79, atstkind_t0ype(atstype_int)) ;
ATStmpdec(tmpref80, charptrptr) ;
ATStmpdec_void(tmp81, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3550(line=160, offs=1) -- 3993(line=177, offs=2)
*/
__patsflab_main_argc_argv_0:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3571(line=161, offs=1) -- 3993(line=177, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3580(line=163, offs=5) -- 3584(line=163, offs=9)
*/
/*
ATSINStmpdec(tmpref79) ;
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3592(line=163, offs=17) -- 3596(line=163, offs=21)
*/
ATSINSmove(tmpref79, arg0) ;
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3601(line=164, offs=5) -- 3605(line=164, offs=9)
*/
/*
ATSINStmpdec(tmpref80) ;
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3620(line=164, offs=24) -- 3650(line=164, offs=54)
*/
ATSINSmove(tmpref80, ATSPMVcastfn(castvwtp1, charptrptr, ATSPMVrefarg0(arg1))) ;
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3664(line=166, offs=10) -- 3718(line=166, offs=64)
*/
ATSINSmove_void(tmp81, gtk_init(ATSPMVptrof(tmpref79), ATSPMVptrof(tmpref80))) ;
/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3959(line=175, offs=18) -- 3988(line=175, offs=47)
*/
ATSINSmove_void(tmpret78, ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__17__1()) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3571(line=161, offs=1) -- 3993(line=177, offs=2)
*/
/*
INSletpop()
*/
/* funbodyinstrlst(end) */
ATSreturn_void(tmpret78) ;
} /* end of [mainats_argc_argv_0] */

#if(0)
/*
/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3754(line=169, offs=23) -- 3785(line=169, offs=54)
*/
/*
local: 
global: gtkcairoclock_title$14$0(level=1)
local: 
global: 
*/
ATSglobaldec()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__14()
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret82, atstkind_type(atstype_ptrk)) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3732(line=169, offs=1) -- 3785(line=169, offs=54)
*/
__patsflab_gtkcairoclock_title:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3759(line=169, offs=28) -- 3785(line=169, offs=54)
*/
ATSINSmove(tmpret82, ATSPMVcastfn(stropt1_some, atstkind_type(atstype_ptrk), ATSPMVstring("gtkcairoclock"))) ;
/* funbodyinstrlst(end) */
ATSreturn(tmpret82) ;
} /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__14] */
#endif // end of [TEMPLATE]

#if(0)
/*
/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3829(line=171, offs=34) -- 3837(line=171, offs=42)
*/
/*
local: 
global: gtkcairoclock_timeout_interval$15$0(level=1)
local: 
global: 
*/
ATSglobaldec()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atstkind_t0ype(atstype_uint)
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__15()
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret83, atstkind_t0ype(atstype_uint)) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3796(line=171, offs=1) -- 3837(line=171, offs=42)
*/
__patsflab_gtkcairoclock_timeout_interval:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3834(line=171, offs=39) -- 3837(line=171, offs=42)
*/
ATSINSmove(tmpret83, ATSPMVi0nt(40U)) ;
/* funbodyinstrlst(end) */
ATSreturn(tmpret83) ;
} /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__15] */
#endif // end of [TEMPLATE]

#if(0)
/*
/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3884(line=173, offs=24) -- 3938(line=173, offs=78)
*/
/*
local: 
global: gtkcairoclock_mydraw$16$0(level=1)
local: 
global: 
*/
ATSglobaldec()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atsvoid_t0ype
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__16(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_t0ype(atstype_int) arg1, atstkind_t0ype(atstype_int) arg2)
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret84, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3861(line=173, offs=1) -- 3938(line=173, offs=78)
*/
__patsflab_gtkcairoclock_mydraw:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3906(line=173, offs=46) -- 3938(line=173, offs=78)
*/
ATSINSmove_void(tmpret84, _057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__mydraw_clock(ATSPMVrefarg0(arg0), arg1, arg2)) ;

/* funbodyinstrlst(end) */
ATSreturn_void(tmpret84) ;
} /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__16] */
#endif // end of [TEMPLATE]

#if(0)
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 3946(line=158, offs=3) -- 5178(line=209, offs=2)
*/
/*
local: 
global: gtkcairoclock_main$17$0(level=0)
local: 
global: 
*/
ATSglobaldec()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atsvoid_t0ype
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__17()
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret85, atsvoid_t0ype) ;
ATStmpdec(tmp86, atstkind_type(atstype_ptrk)) ;
ATStmpdec_void(tmp87, atsvoid_t0ype) ;
ATStmpdec(tmp88, atstkind_t0ype(atstype_bool)) ;
ATStmpdec_void(tmp89, atsvoid_t0ype) ;
ATStmpdec(tmp90, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp91, atstkind_t0ype(atstype_bool)) ;
ATStmpdec_void(tmp92, atsvoid_t0ype) ;
ATStmpdec(tmp93, atstkind_type(atstype_ptrk)) ;
ATStmpdec_void(tmp94, atsvoid_t0ype) ;
ATStmpdec(tmp95, atstkind_t0ype(atstype_bool)) ;
ATStmpdec_void(tmp96, atsvoid_t0ype) ;
ATStmpdec(tmp97, guint) ;
ATStmpdec_void(tmp98, atsvoid_t0ype) ;
ATStmpdec(tmp99, guint) ;
ATStmpdec(tmp100, guint) ;
ATStmpdec(tmp101, atstkind_t0ype(atstype_uint)) ;
ATStmpdec(tmp102, guint) ;
ATStmpdec_void(tmp103, atsvoid_t0ype) ;
ATStmpdec_void(tmp104, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3925(line=157, offs=1) -- 5178(line=209, offs=2)
*/
__patsflab_gtkcairoclock_main:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3959(line=158, offs=16) -- 5178(line=209, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3986(line=162, offs=3) -- 4021(line=162, offs=38)
*/
ATSINSmove(tmp86, atscntrb_gtk_window_new(ATSextval(GTK_WINDOW_TOPLEVEL))) ;

/* (*nothing*) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4081(line=166, offs=10) -- 4109(line=166, offs=38)
*/
ATSINSmove(tmp88, atspre_gt_ptr1_intz(ATSPMVcastfn(gobjref2ptr, atstkind_type(atstype_ptrk), ATSPMVrefarg0(tmp86)), ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4081(line=166, offs=10) -- 4109(line=166, offs=38)
*/
ATSINSmove_void(tmp87, atspre_assert_errmsg_bool1(tmp88, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 4081(line=166, offs=10) -- 4109(line=166, offs=38)"))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4120(line=167, offs=10) -- 4176(line=167, offs=66)
*/
ATSINSmove_void(tmp89, atscntrb_gtk_window_set_default_size(ATSPMVrefarg0(tmp86), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(400)), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(400)))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4190(line=169, offs=11) -- 4212(line=169, offs=33)
*/
ATSINSmove(tmp90, PMVtmpltcst(gtkcairoclock_title<>)()) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4226(line=170, offs=14) -- 4244(line=170, offs=32)
*/
ATSINSmove(tmp91, PMVtmpltcst(stropt_is_some<>)(tmp90)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4255(line=172, offs=1) -- 4360(line=176, offs=4)
*/
ATSif(
tmp91
) ATSthen() {
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4270(line=172, offs=16) -- 4360(line=176, offs=4)
*/
/*
letpush(beg)
*/
/* (*nothing*) */
/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4313(line=175, offs=3) -- 4356(line=175, offs=46)
*/
ATSINSmove_void(tmp92, atscntrb_gtk_window_set_title(ATSPMVrefarg0(tmp86), ATSPMVcastfn(gstring_of_string, atstkind_type(atstype_ptrk), ATSPMVcastfn(stropt_unsome, atstkind_type(atstype_ptrk), tmp90)))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4270(line=172, offs=16) -- 4360(line=176, offs=4)
*/
/*
INSletpop()
*/
} ATSelse() {
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4360(line=176, offs=4) -- 4360(line=176, offs=4)
*/
ATSINSmove_void(tmp92, ATSempty()) ;
} /* ATSendif */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4409(line=179, offs=3) -- 4432(line=179, offs=26)
*/
ATSINSmove(tmp93, atscntrb_gtk_drawing_area_new()) ;

/* (*nothing*) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4476(line=181, offs=10) -- 4498(line=181, offs=32)
*/
ATSINSmove(tmp95, atspre_gt_ptr1_intz(ATSPMVcastfn(gobjref2ptr, atstkind_type(atstype_ptrk), ATSPMVrefarg0(tmp93)), ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4476(line=181, offs=10) -- 4498(line=181, offs=32)
*/
ATSINSmove_void(tmp94, atspre_assert_errmsg_bool1(tmp95, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 4476(line=181, offs=10) -- 4498(line=181, offs=32)"))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4509(line=182, offs=10) -- 4540(line=182, offs=41)
*/
ATSINSmove_void(tmp96, atscntrb_gtk_container_add(ATSPMVrefarg0(tmp86), ATSPMVrefarg0(tmp93))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4555(line=184, offs=12) -- 4638(line=187, offs=2)
*/
ATSINSmove(tmp97, atscntrb_g_signal_connect(ATSPMVrefarg0(tmp93), ATSPMVcastfn(gsignal, atstkind_type(atstype_ptrk), ATSPMVstring("draw")), ATSPMVcastfn(G_CALLBACK, atstkind_type(atstype_ptrk), PMVtmpltcst(fexpose<>)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), atsptr_null))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4648(line=188, offs=10) -- 4669(line=188, offs=31)
*/
ATSINSmove_void(tmp98, atscntrb_g_object_unref(tmp93)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4685(line=190, offs=12) -- 4773(line=193, offs=2)
*/
ATSINSmove(tmp99, atscntrb_g_signal_connect(ATSPMVrefarg0(tmp86), ATSPMVcastfn(gsignal, atstkind_type(atstype_ptrk), ATSPMVstring("destroy")), ATSPMVcastfn(G_CALLBACK, atstkind_type(atstype_ptrk), PMVtmpltcst(on_destroy<>)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), atsptr_null))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4785(line=194, offs=12) -- 4883(line=197, offs=2)
*/
ATSINSmove(tmp100, atscntrb_g_signal_connect(ATSPMVrefarg0(tmp86), ATSPMVcastfn(gsignal, atstkind_type(atstype_ptrk), ATSPMVstring("delete-event")), ATSPMVcastfn(G_CALLBACK, atstkind_type(atstype_ptrk), PMVtmpltcst(on_delete_event<>)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), atsptr_null))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4899(line=200, offs=3) -- 4932(line=200, offs=36)
*/
ATSINSmove(tmp101, PMVtmpltcst(gtkcairoclock_timeout_interval<>)()) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4944(line=201, offs=12) -- 5012(line=201, offs=80)
*/
ATSINSmove(tmp102, atscntrb_g_timeout_add(ATSPMVcastfn(guint_of_uint, guint, tmp101), ATSPMVcastfn(GSourceFunc, atstkind_type(atstype_ptrk), PMVtmpltcst(ftimeout<>)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), ATSPMVcastfn(gobjref2ptr, atstkind_type(atstype_ptrk), ATSPMVrefarg0(tmp93))))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 5025(line=203, offs=10) -- 5050(line=203, offs=35)
*/
ATSINSmove_void(tmp103, atscntrb_gtk_widget_show_all(ATSPMVrefarg0(tmp86))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 5064(line=205, offs=10) -- 5084(line=205, offs=30)
*/
ATSINSmove_void(tmp104, atscntrb_g_object_unref(tmp86)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 5154(line=207, offs=18) -- 5173(line=207, offs=37)
*/
ATSINSmove_void(tmpret85, atscntrb_gtk_main()) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3959(line=158, offs=16) -- 5178(line=209, offs=2)
*/
/*
INSletpop()
*/
/* funbodyinstrlst(end) */
ATSreturn_void(tmpret85) ;
} /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__17] */
#endif // end of [TEMPLATE]

/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 3946(line=158, offs=3) -- 5178(line=209, offs=2)
*/
/*
local: 
global: gtkcairoclock_main$17$1(level=1)
local: 
global: 
*/
ATSstaticdec()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atsvoid_t0ype
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__17__1()
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret85__1, atsvoid_t0ype) ;
ATStmpdec(tmp86__1, atstkind_type(atstype_ptrk)) ;
ATStmpdec_void(tmp87__1, atsvoid_t0ype) ;
ATStmpdec(tmp88__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec_void(tmp89__1, atsvoid_t0ype) ;
ATStmpdec(tmp90__1, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp91__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec_void(tmp92__1, atsvoid_t0ype) ;
ATStmpdec(tmp93__1, atstkind_type(atstype_ptrk)) ;
ATStmpdec_void(tmp94__1, atsvoid_t0ype) ;
ATStmpdec(tmp95__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec_void(tmp96__1, atsvoid_t0ype) ;
ATStmpdec(tmp97__1, guint) ;
ATStmpdec_void(tmp98__1, atsvoid_t0ype) ;
ATStmpdec(tmp99__1, guint) ;
ATStmpdec(tmp100__1, guint) ;
ATStmpdec(tmp101__1, atstkind_t0ype(atstype_uint)) ;
ATStmpdec(tmp102__1, guint) ;
ATStmpdec_void(tmp103__1, atsvoid_t0ype) ;
ATStmpdec_void(tmp104__1, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3925(line=157, offs=1) -- 5178(line=209, offs=2)
*/
__patsflab_gtkcairoclock_main:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3959(line=158, offs=16) -- 5178(line=209, offs=2)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3986(line=162, offs=3) -- 4021(line=162, offs=38)
*/
ATSINSmove(tmp86__1, atscntrb_gtk_window_new(ATSextval(GTK_WINDOW_TOPLEVEL))) ;

/* (*nothing*) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4081(line=166, offs=10) -- 4109(line=166, offs=38)
*/
ATSINSmove(tmp88__1, atspre_gt_ptr1_intz(ATSPMVcastfn(gobjref2ptr, atstkind_type(atstype_ptrk), ATSPMVrefarg0(tmp86__1)), ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4081(line=166, offs=10) -- 4109(line=166, offs=38)
*/
ATSINSmove_void(tmp87__1, atspre_assert_errmsg_bool1(tmp88__1, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 4081(line=166, offs=10) -- 4109(line=166, offs=38)"))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4120(line=167, offs=10) -- 4176(line=167, offs=66)
*/
ATSINSmove_void(tmp89__1, atscntrb_gtk_window_set_default_size(ATSPMVrefarg0(tmp86__1), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(400)), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(400)))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4190(line=169, offs=11) -- 4212(line=169, offs=33)
*/
ATSINSmove(tmp90__1, ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__14__1()) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4226(line=170, offs=14) -- 4244(line=170, offs=32)
*/
ATSINSmove(tmp91__1, ATSLIB_056_prelude__stropt_is_some__20__1(tmp90__1)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4255(line=172, offs=1) -- 4360(line=176, offs=4)
*/
ATSif(
tmp91__1
) ATSthen() {
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4270(line=172, offs=16) -- 4360(line=176, offs=4)
*/
/*
letpush(beg)
*/
/* (*nothing*) */
/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4313(line=175, offs=3) -- 4356(line=175, offs=46)
*/
ATSINSmove_void(tmp92__1, atscntrb_gtk_window_set_title(ATSPMVrefarg0(tmp86__1), ATSPMVcastfn(gstring_of_string, atstkind_type(atstype_ptrk), ATSPMVcastfn(stropt_unsome, atstkind_type(atstype_ptrk), tmp90__1)))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4270(line=172, offs=16) -- 4360(line=176, offs=4)
*/
/*
INSletpop()
*/
} ATSelse() {
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4360(line=176, offs=4) -- 4360(line=176, offs=4)
*/
ATSINSmove_void(tmp92__1, ATSempty()) ;
} /* ATSendif */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4409(line=179, offs=3) -- 4432(line=179, offs=26)
*/
ATSINSmove(tmp93__1, atscntrb_gtk_drawing_area_new()) ;

/* (*nothing*) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4476(line=181, offs=10) -- 4498(line=181, offs=32)
*/
ATSINSmove(tmp95__1, atspre_gt_ptr1_intz(ATSPMVcastfn(gobjref2ptr, atstkind_type(atstype_ptrk), ATSPMVrefarg0(tmp93__1)), ATSPMVi0nt(0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4476(line=181, offs=10) -- 4498(line=181, offs=32)
*/
ATSINSmove_void(tmp94__1, atspre_assert_errmsg_bool1(tmp95__1, ATSCSTSPmyloc("/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 4476(line=181, offs=10) -- 4498(line=181, offs=32)"))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4509(line=182, offs=10) -- 4540(line=182, offs=41)
*/
ATSINSmove_void(tmp96__1, atscntrb_gtk_container_add(ATSPMVrefarg0(tmp86__1), ATSPMVrefarg0(tmp93__1))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4555(line=184, offs=12) -- 4638(line=187, offs=2)
*/
ATSINSmove(tmp97__1, atscntrb_g_signal_connect(ATSPMVrefarg0(tmp93__1), ATSPMVcastfn(gsignal, atstkind_type(atstype_ptrk), ATSPMVstring("draw")), ATSPMVcastfn(G_CALLBACK, atstkind_type(atstype_ptrk), ATSPMVfunlab(_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__22__1)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), atsptr_null))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4648(line=188, offs=10) -- 4669(line=188, offs=31)
*/
ATSINSmove_void(tmp98__1, atscntrb_g_object_unref(tmp93__1)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4685(line=190, offs=12) -- 4773(line=193, offs=2)
*/
ATSINSmove(tmp99__1, atscntrb_g_signal_connect(ATSPMVrefarg0(tmp86__1), ATSPMVcastfn(gsignal, atstkind_type(atstype_ptrk), ATSPMVstring("destroy")), ATSPMVcastfn(G_CALLBACK, atstkind_type(atstype_ptrk), ATSPMVfunlab(_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__27__1)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), atsptr_null))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4785(line=194, offs=12) -- 4883(line=197, offs=2)
*/
ATSINSmove(tmp100__1, atscntrb_g_signal_connect(ATSPMVrefarg0(tmp86__1), ATSPMVcastfn(gsignal, atstkind_type(atstype_ptrk), ATSPMVstring("delete-event")), ATSPMVcastfn(G_CALLBACK, atstkind_type(atstype_ptrk), ATSPMVfunlab(_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__29__1)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), atsptr_null))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4899(line=200, offs=3) -- 4932(line=200, offs=36)
*/
ATSINSmove(tmp101__1, ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__15__1()) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 4944(line=201, offs=12) -- 5012(line=201, offs=80)
*/
ATSINSmove(tmp102__1, atscntrb_g_timeout_add(ATSPMVcastfn(guint_of_uint, guint, tmp101__1), ATSPMVcastfn(GSourceFunc, atstkind_type(atstype_ptrk), ATSPMVfunlab(_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__32__1)), ATSPMVcastfn(gpointer_of_ptr, atstkind_type(atstype_ptrk), ATSPMVcastfn(gobjref2ptr, atstkind_type(atstype_ptrk), ATSPMVrefarg0(tmp93__1))))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 5025(line=203, offs=10) -- 5050(line=203, offs=35)
*/
ATSINSmove_void(tmp103__1, atscntrb_gtk_widget_show_all(ATSPMVrefarg0(tmp86__1))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 5064(line=205, offs=10) -- 5084(line=205, offs=30)
*/
ATSINSmove_void(tmp104__1, atscntrb_g_object_unref(tmp86__1)) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 5154(line=207, offs=18) -- 5173(line=207, offs=37)
*/
ATSINSmove_void(tmpret85__1, atscntrb_gtk_main()) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3959(line=158, offs=16) -- 5178(line=209, offs=2)
*/
/*
INSletpop()
*/
/* funbodyinstrlst(end) */
ATSreturn_void(tmpret85__1) ;
} /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_main__17__1] */

/*
/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3754(line=169, offs=23) -- 3785(line=169, offs=54)
*/
/*
local: 
global: gtkcairoclock_title$14$1(level=2)
local: 
global: 
*/
ATSstaticdec()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atstkind_type(atstype_ptrk)
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__14__1()
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret82__1, atstkind_type(atstype_ptrk)) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3732(line=169, offs=1) -- 3785(line=169, offs=54)
*/
__patsflab_gtkcairoclock_title:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3759(line=169, offs=28) -- 3785(line=169, offs=54)
*/
ATSINSmove(tmpret82__1, ATSPMVcastfn(stropt1_some, atstkind_type(atstype_ptrk), ATSPMVstring("gtkcairoclock"))) ;
/* funbodyinstrlst(end) */
ATSreturn(tmpret82__1) ;
} /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_title__14__1] */

#if(0)
/*
/home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15049(line=698, offs=22) -- 15113(line=700, offs=57)
*/
/*
local: 
global: stropt_is_some$20$0(level=0)
local: 
global: 
*/
ATSglobaldec()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__stropt_is_some__20(atstkind_type(atstype_ptrk) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret126, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp127, atstkind_t0ype(atstype_bool)) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15030(line=698, offs=3) -- 15118(line=701, offs=2)
*/
__patsflab_stropt_is_some:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15081(line=700, offs=25) -- 15113(line=700, offs=57)
*/
ATSINSmove(tmp127, atspre_ptr0_isnot_null(ATSPMVcastfn(cast2ptr, atstkind_type(atstype_ptrk), arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15059(line=700, offs=3) -- 15113(line=700, offs=57)
*/
ATSINSmove(tmpret126, ATSPMVcastfn(cast, atstkind_t0ype(atstype_bool), tmp127)) ;
/* funbodyinstrlst(end) */
ATSreturn(tmpret126) ;
} /* end of [ATSLIB_056_prelude__stropt_is_some__20] */
#endif // end of [TEMPLATE]

/*
/home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15049(line=698, offs=22) -- 15113(line=700, offs=57)
*/
/*
local: 
global: stropt_is_some$20$1(level=2)
local: 
global: 
*/
ATSstaticdec()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atstkind_t0ype(atstype_bool)
ATSLIB_056_prelude__stropt_is_some__20__1(atstkind_type(atstype_ptrk) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret126__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp127__1, atstkind_t0ype(atstype_bool)) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15030(line=698, offs=3) -- 15118(line=701, offs=2)
*/
__patsflab_stropt_is_some:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15081(line=700, offs=25) -- 15113(line=700, offs=57)
*/
ATSINSmove(tmp127__1, atspre_ptr0_isnot_null(ATSPMVcastfn(cast2ptr, atstkind_type(atstype_ptrk), arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/prelude/DATS/string.dats: 15059(line=700, offs=3) -- 15113(line=700, offs=57)
*/
ATSINSmove(tmpret126__1, ATSPMVcastfn(cast, atstkind_t0ype(atstype_bool), tmp127__1)) ;
/* funbodyinstrlst(end) */
ATSreturn(tmpret126__1) ;
} /* end of [ATSLIB_056_prelude__stropt_is_some__20__1] */

#if(0)
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 3176(line=118, offs=11) -- 3239(line=120, offs=4)
*/
/*
local: 
global: fexpose$22$0(level=0)
local: 
global: 
*/
ATSglobaldec()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
gboolean
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__22(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret130, gboolean) ;
ATStmpdec_void(tmp131, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3168(line=118, offs=3) -- 3239(line=120, offs=4)
*/
__patsflab_fexpose:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3186(line=118, offs=21) -- 3239(line=120, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3201(line=119, offs=12) -- 3224(line=119, offs=35)
*/
ATSINSmove_void(tmp131, PMVtmpltvar(draw_drawingarea$3077(0)<>)(ATSPMVrefarg0(arg0))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3229(line=119, offs=40) -- 3235(line=119, offs=46)
*/
ATSINSmove(tmpret130, ATSextval(FALSE)) ;
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3186(line=118, offs=21) -- 3239(line=120, offs=4)
*/
/*
INSletpop()
*/
/* funbodyinstrlst(end) */
ATSreturn(tmpret130) ;
} /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__22] */
#endif // end of [TEMPLATE]

/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 3176(line=118, offs=11) -- 3239(line=120, offs=4)
*/
/*
local: 
global: fexpose$22$1(level=2)
local: 
global: 
*/
ATSstaticdec()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
gboolean
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__22__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret130__1, gboolean) ;
ATStmpdec_void(tmp131__1, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3168(line=118, offs=3) -- 3239(line=120, offs=4)
*/
__patsflab_fexpose:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3186(line=118, offs=21) -- 3239(line=120, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3201(line=119, offs=12) -- 3224(line=119, offs=35)
*/
ATSINSmove_void(tmp131__1, draw_drawingarea_24__24__1(ATSPMVrefarg0(arg0))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3229(line=119, offs=40) -- 3235(line=119, offs=46)
*/
ATSINSmove(tmpret130__1, ATSextval(FALSE)) ;
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3186(line=118, offs=21) -- 3239(line=120, offs=4)
*/
/*
INSletpop()
*/
/* funbodyinstrlst(end) */
ATSreturn(tmpret130__1) ;
} /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__fexpose__22__1] */

#if(0)
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 2025(line=60, offs=1) -- 2615(line=88, offs=4)
*/
/*
local: 
global: draw_drawingarea_24$0(level=3)
local: 
global: 
*/
ATSstaticdec()
atsvoid_t0ype
draw_drawingarea_24__24(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret134, atsvoid_t0ype) ;
ATStmpdec(tmp135, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp136, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp137, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmpref138, GtkAllocation) ;
ATStmpdec_void(tmp139, atsvoid_t0ype) ;
ATStmpdec_void(tmp140, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2025(line=60, offs=1) -- 2615(line=88, offs=4)
*/
__patsflab_draw_drawingarea_24:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2081(line=63, offs=12) -- 2615(line=88, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2114(line=67, offs=5) -- 2142(line=67, offs=33)
*/
ATSINSmove(tmp135, atscntrb_gtk_widget_get_window(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2159(line=69, offs=13) -- 2183(line=69, offs=37)
*/
ATSINSmove(tmp136, atspre_ptr_isnot_null(ATSPMVrefarg0(tmp135))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2194(line=73, offs=1) -- 2590(line=86, offs=4)
*/
ATSif(
tmp136
) ATSthen() {
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2208(line=73, offs=15) -- 2511(line=82, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2223(line=74, offs=12) -- 2244(line=74, offs=33)
*/
ATSINSmove(tmp137, atscntrb_gdk_cairo_create(ATSPMVrefarg0(tmp135))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2302(line=76, offs=7) -- 2307(line=76, offs=12)
*/
/*
ATSINStmpdec(tmpref138) ;
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2335(line=77, offs=12) -- 2375(line=77, offs=52)
*/
ATSINSmove_void(tmp139, atscntrb_gtk_widget_get_allocation(ATSPMVrefarg0(arg0), ATSPMVrefarg1(ATSPMVptrof(tmpref138)))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2387(line=78, offs=12) -- 2461(line=78, offs=86)
*/
ATSINSmove_void(tmp140, PMVtmpltcst(gtkcairoclock_mydraw<>)(ATSPMVrefarg0(tmp137), ATSPMVcastfn(gint2int, atstkind_t0ype(atstype_int), ATSSELfltrec(tmpref138, GtkAllocation, width)), ATSPMVcastfn(gint2int, atstkind_t0ype(atstype_int), ATSSELfltrec(tmpref138, GtkAllocation, height)))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2473(line=79, offs=12) -- 2490(line=79, offs=29)
*/
ATSINSmove_void(tmpret134, atscntrb_cairo_destroy(tmp137)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2208(line=73, offs=15) -- 2511(line=82, offs=4)
*/
/*
INSletpop()
*/
} ATSelse() {
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2571(line=84, offs=1) -- 2590(line=86, offs=4)
*/
ATSINSmove_void(tmpret134, ATSempty()) ;
} /* ATSendif */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2081(line=63, offs=12) -- 2615(line=88, offs=4)
*/
/*
INSletpop()
*/
/* funbodyinstrlst(end) */
ATSreturn_void(tmpret134) ;
} /* end of [draw_drawingarea_24__24] */
#endif // end of [TEMPLATE]

/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 2025(line=60, offs=1) -- 2615(line=88, offs=4)
*/
/*
local: 
global: draw_drawingarea_24$1(level=3)
local: 
global: 
*/
ATSstaticdec()
atsvoid_t0ype
draw_drawingarea_24__24__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret134__1, atsvoid_t0ype) ;
ATStmpdec(tmp135__1, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp136__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmp137__1, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmpref138__1, GtkAllocation) ;
ATStmpdec_void(tmp139__1, atsvoid_t0ype) ;
ATStmpdec_void(tmp140__1, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2025(line=60, offs=1) -- 2615(line=88, offs=4)
*/
__patsflab_draw_drawingarea_24:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2081(line=63, offs=12) -- 2615(line=88, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2114(line=67, offs=5) -- 2142(line=67, offs=33)
*/
ATSINSmove(tmp135__1, atscntrb_gtk_widget_get_window(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2159(line=69, offs=13) -- 2183(line=69, offs=37)
*/
ATSINSmove(tmp136__1, atspre_ptr_isnot_null(ATSPMVrefarg0(tmp135__1))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2194(line=73, offs=1) -- 2590(line=86, offs=4)
*/
ATSif(
tmp136__1
) ATSthen() {
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2208(line=73, offs=15) -- 2511(line=82, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2223(line=74, offs=12) -- 2244(line=74, offs=33)
*/
ATSINSmove(tmp137__1, atscntrb_gdk_cairo_create(ATSPMVrefarg0(tmp135__1))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2302(line=76, offs=7) -- 2307(line=76, offs=12)
*/
/*
ATSINStmpdec(tmpref138) ;
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2335(line=77, offs=12) -- 2375(line=77, offs=52)
*/
ATSINSmove_void(tmp139__1, atscntrb_gtk_widget_get_allocation(ATSPMVrefarg0(arg0), ATSPMVrefarg1(ATSPMVptrof(tmpref138__1)))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2387(line=78, offs=12) -- 2461(line=78, offs=86)
*/
ATSINSmove_void(tmp140__1, ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__16__1(ATSPMVrefarg0(tmp137__1), ATSPMVcastfn(gint2int, atstkind_t0ype(atstype_int), ATSSELfltrec(tmpref138__1, GtkAllocation, width)), ATSPMVcastfn(gint2int, atstkind_t0ype(atstype_int), ATSSELfltrec(tmpref138__1, GtkAllocation, height)))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2473(line=79, offs=12) -- 2490(line=79, offs=29)
*/
ATSINSmove_void(tmpret134__1, atscntrb_cairo_destroy(tmp137__1)) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2208(line=73, offs=15) -- 2511(line=82, offs=4)
*/
/*
INSletpop()
*/
} ATSelse() {
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2571(line=84, offs=1) -- 2590(line=86, offs=4)
*/
ATSINSmove_void(tmpret134__1, ATSempty()) ;
} /* ATSendif */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2081(line=63, offs=12) -- 2615(line=88, offs=4)
*/
/*
INSletpop()
*/
/* funbodyinstrlst(end) */
ATSreturn_void(tmpret134__1) ;
} /* end of [draw_drawingarea_24__24__1] */

/*
/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3884(line=173, offs=24) -- 3938(line=173, offs=78)
*/
/*
local: 
global: gtkcairoclock_mydraw$16$1(level=4)
local: 
global: 
*/
ATSstaticdec()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atsvoid_t0ype
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__16__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_t0ype(atstype_int) arg1, atstkind_t0ype(atstype_int) arg2)
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret84__1, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3861(line=173, offs=1) -- 3938(line=173, offs=78)
*/
__patsflab_gtkcairoclock_mydraw:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3906(line=173, offs=46) -- 3938(line=173, offs=78)
*/
ATSINSmove_void(tmpret84__1, _057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__mydraw_clock(ATSPMVrefarg0(arg0), arg1, arg2)) ;

/* funbodyinstrlst(end) */
ATSreturn_void(tmpret84__1) ;
} /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_mydraw__16__1] */

#if(0)
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 2900(line=104, offs=14) -- 2931(line=104, offs=45)
*/
/*
local: 
global: on_destroy$27$0(level=0)
local: 
global: 
*/
ATSglobaldec()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atsvoid_t0ype
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__27(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atsrefarg1_type(GdkEvent) arg1, atstkind_type(atstype_ptrk) arg2)
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret149, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2889(line=104, offs=3) -- 2931(line=104, offs=45)
*/
__patsflab_on_destroy:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2921(line=104, offs=35) -- 2931(line=104, offs=45)
*/
ATSINSmove_void(tmpret149, ATSempty()) ;
/* funbodyinstrlst(end) */
ATSreturn_void(tmpret149) ;
} /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__27] */
#endif // end of [TEMPLATE]

/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 2900(line=104, offs=14) -- 2931(line=104, offs=45)
*/
/*
local: 
global: on_destroy$27$1(level=2)
local: 
global: 
*/
ATSstaticdec()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atsvoid_t0ype
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__27__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atsrefarg1_type(GdkEvent) arg1, atstkind_type(atstype_ptrk) arg2)
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret149__1, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2889(line=104, offs=3) -- 2931(line=104, offs=45)
*/
__patsflab_on_destroy:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2921(line=104, offs=35) -- 2931(line=104, offs=45)
*/
ATSINSmove_void(tmpret149__1, ATSempty()) ;
/* funbodyinstrlst(end) */
ATSreturn_void(tmpret149__1) ;
} /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_destroy__27__1] */

#if(0)
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 2961(line=106, offs=19) -- 3007(line=106, offs=65)
*/
/*
local: 
global: on_delete_event$29$0(level=0)
local: 
global: 
*/
ATSglobaldec()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
gboolean
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__29(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atsrefarg1_type(GdkEvent) arg1, atstkind_type(atstype_ptrk) arg2)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret151, gboolean) ;
ATStmpdec_void(tmp152, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2945(line=106, offs=3) -- 3007(line=106, offs=65)
*/
__patsflab_on_delete_event:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2983(line=106, offs=41) -- 2999(line=106, offs=57)
*/
ATSINSmove_void(tmp152, atscntrb_gtk_main_quit()) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3001(line=106, offs=59) -- 3006(line=106, offs=64)
*/
ATSINSmove(tmpret151, ATSextval(TRUE)) ;
/* funbodyinstrlst(end) */
ATSreturn(tmpret151) ;
} /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__29] */
#endif // end of [TEMPLATE]

/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 2961(line=106, offs=19) -- 3007(line=106, offs=65)
*/
/*
local: 
global: on_delete_event$29$1(level=2)
local: 
global: 
*/
ATSstaticdec()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
gboolean
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__29__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atsrefarg1_type(GdkEvent) arg1, atstkind_type(atstype_ptrk) arg2)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret151__1, gboolean) ;
ATStmpdec_void(tmp152__1, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2945(line=106, offs=3) -- 3007(line=106, offs=65)
*/
__patsflab_on_delete_event:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 2983(line=106, offs=41) -- 2999(line=106, offs=57)
*/
ATSINSmove_void(tmp152__1, atscntrb_gtk_main_quit()) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3001(line=106, offs=59) -- 3006(line=106, offs=64)
*/
ATSINSmove(tmpret151__1, ATSextval(TRUE)) ;
/* funbodyinstrlst(end) */
ATSreturn(tmpret151__1) ;
} /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__on_delete_event__29__1] */

/*
/home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3829(line=171, offs=34) -- 3837(line=171, offs=42)
*/
/*
local: 
global: gtkcairoclock_timeout_interval$15$1(level=2)
local: 
global: 
*/
ATSstaticdec()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atstkind_t0ype(atstype_uint)
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__15__1()
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret83__1, atstkind_t0ype(atstype_uint)) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3796(line=171, offs=1) -- 3837(line=171, offs=42)
*/
__patsflab_gtkcairoclock_timeout_interval:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/doc/PROJECT/SMALL/gtkcairoclock/myclock2.dats: 3834(line=171, offs=39) -- 3837(line=171, offs=42)
*/
ATSINSmove(tmpret83__1, ATSPMVi0nt(40U)) ;
/* funbodyinstrlst(end) */
ATSreturn(tmpret83__1) ;
} /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_interval__15__1] */

#if(0)
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 3304(line=125, offs=12) -- 3820(line=148, offs=4)
*/
/*
local: 
global: ftimeout$32$0(level=0)
local: 
global: 
*/
ATSglobaldec()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
gboolean
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__32(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret156, gboolean) ;
ATStmpdec_void(tmp157, atsvoid_t0ype) ;
ATStmpdec(tmp158, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp159, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmpref160, GtkAllocation) ;
ATStmpdec_void(tmp161, atsvoid_t0ype) ;
ATStmpdec_void(tmp162, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3295(line=125, offs=3) -- 3820(line=148, offs=4)
*/
__patsflab_ftimeout:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3314(line=125, offs=22) -- 3820(line=148, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3331(line=128, offs=5) -- 3362(line=128, offs=36)
*/
ATSINSmove_void(tmp157, PMVtmpltcst(gtkcairoclock_timeout_update<>)()) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3388(line=130, offs=23) -- 3416(line=130, offs=51)
*/
ATSINSmove(tmp158, atscntrb_gtk_widget_get_window(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3433(line=132, offs=13) -- 3457(line=132, offs=37)
*/
ATSINSmove(tmp159, atspre_ptr_isnot_null(ATSPMVrefarg0(tmp158))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3520(line=138, offs=1) -- 3764(line=145, offs=9)
*/
ATSif(
tmp159
) ATSthen() {
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3534(line=138, offs=15) -- 3750(line=144, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3544(line=139, offs=7) -- 3549(line=139, offs=12)
*/
/*
ATSINStmpdec(tmpref160) ;
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3576(line=140, offs=12) -- 3616(line=140, offs=52)
*/
ATSINSmove_void(tmp161, atscntrb_gtk_widget_get_allocation(ATSPMVrefarg0(arg0), ATSPMVrefarg1(ATSPMVptrof(tmpref160)))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3628(line=141, offs=12) -- 3707(line=141, offs=91)
*/
ATSINSmove_void(tmp162, atscntrb_gtk_widget_queue_draw_area(ATSPMVrefarg0(arg0), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(0)), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(0)), ATSSELfltrec(tmpref160, GtkAllocation, width), ATSSELfltrec(tmpref160, GtkAllocation, height))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3713(line=143, offs=3) -- 3718(line=143, offs=8)
*/
ATSINSmove(tmpret156, ATSextval(TRUE)) ;
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3534(line=138, offs=15) -- 3750(line=144, offs=4)
*/
/*
INSletpop()
*/
} ATSelse() {
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3758(line=145, offs=3) -- 3764(line=145, offs=9)
*/
ATSINSmove(tmpret156, ATSextval(FALSE)) ;
} /* ATSendif */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3314(line=125, offs=22) -- 3820(line=148, offs=4)
*/
/*
INSletpop()
*/
/* funbodyinstrlst(end) */
ATSreturn(tmpret156) ;
} /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__32] */
#endif // end of [TEMPLATE]

/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 3304(line=125, offs=12) -- 3820(line=148, offs=4)
*/
/*
local: 
global: ftimeout$32$1(level=2)
local: 
global: 
*/
ATSstaticdec()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
gboolean
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__32__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0)
{
/* tmpvardeclst(beg) */
ATStmpdec(tmpret156__1, gboolean) ;
ATStmpdec_void(tmp157__1, atsvoid_t0ype) ;
ATStmpdec(tmp158__1, atstkind_type(atstype_ptrk)) ;
ATStmpdec(tmp159__1, atstkind_t0ype(atstype_bool)) ;
ATStmpdec(tmpref160__1, GtkAllocation) ;
ATStmpdec_void(tmp161__1, atsvoid_t0ype) ;
ATStmpdec_void(tmp162__1, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3295(line=125, offs=3) -- 3820(line=148, offs=4)
*/
__patsflab_ftimeout:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3314(line=125, offs=22) -- 3820(line=148, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3331(line=128, offs=5) -- 3362(line=128, offs=36)
*/
ATSINSmove_void(tmp157__1, ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__34__1()) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3388(line=130, offs=23) -- 3416(line=130, offs=51)
*/
ATSINSmove(tmp158__1, atscntrb_gtk_widget_get_window(ATSPMVrefarg0(arg0))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3433(line=132, offs=13) -- 3457(line=132, offs=37)
*/
ATSINSmove(tmp159__1, atspre_ptr_isnot_null(ATSPMVrefarg0(tmp158__1))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3520(line=138, offs=1) -- 3764(line=145, offs=9)
*/
ATSif(
tmp159__1
) ATSthen() {
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3534(line=138, offs=15) -- 3750(line=144, offs=4)
*/
/*
letpush(beg)
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3544(line=139, offs=7) -- 3549(line=139, offs=12)
*/
/*
ATSINStmpdec(tmpref160) ;
*/
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3576(line=140, offs=12) -- 3616(line=140, offs=52)
*/
ATSINSmove_void(tmp161__1, atscntrb_gtk_widget_get_allocation(ATSPMVrefarg0(arg0), ATSPMVrefarg1(ATSPMVptrof(tmpref160__1)))) ;

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3628(line=141, offs=12) -- 3707(line=141, offs=91)
*/
ATSINSmove_void(tmp162__1, atscntrb_gtk_widget_queue_draw_area(ATSPMVrefarg0(arg0), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(0)), ATSPMVcastfn(gint_of_int, gint, ATSPMVi0nt(0)), ATSSELfltrec(tmpref160__1, GtkAllocation, width), ATSSELfltrec(tmpref160__1, GtkAllocation, height))) ;

/*
letpush(end)
*/

/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3713(line=143, offs=3) -- 3718(line=143, offs=8)
*/
ATSINSmove(tmpret156__1, ATSextval(TRUE)) ;
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3534(line=138, offs=15) -- 3750(line=144, offs=4)
*/
/*
INSletpop()
*/
} ATSelse() {
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3758(line=145, offs=3) -- 3764(line=145, offs=9)
*/
ATSINSmove(tmpret156__1, ATSextval(FALSE)) ;
} /* ATSendif */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 3314(line=125, offs=22) -- 3820(line=148, offs=4)
*/
/*
INSletpop()
*/
/* funbodyinstrlst(end) */
ATSreturn(tmpret156__1) ;
} /* end of [_057_home_057_hwxi_057_research_057_Postiats_057_git_057_contrib_057_libats_055_hwxi_057_teaching_057_myGTK_057_DATS_057_gtkcairoclock_056_dats__ftimeout__32__1] */

#if(0)
/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1979(line=55, offs=30) -- 1994(line=55, offs=45)
*/
/*
local: 
global: gtkcairoclock_timeout_update$34$0(level=0)
local: 
global: 
*/
ATSglobaldec()
/*
imparg = 
tmparg = 
tmpsub = None()
*/
atsvoid_t0ype
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__34()
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret170, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 1950(line=55, offs=1) -- 1994(line=55, offs=45)
*/
__patsflab_gtkcairoclock_timeout_update:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 1984(line=55, offs=35) -- 1994(line=55, offs=45)
*/
ATSINSmove_void(tmpret170, ATSempty()) ;
/* funbodyinstrlst(end) */
ATSreturn_void(tmpret170) ;
} /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__34] */
#endif // end of [TEMPLATE]

/*
/home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats: 1979(line=55, offs=30) -- 1994(line=55, offs=45)
*/
/*
local: 
global: gtkcairoclock_timeout_update$34$1(level=3)
local: 
global: 
*/
ATSstaticdec()
/*
imparg = 
tmparg = 
tmpsub = Some()
*/
atsvoid_t0ype
ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__34__1()
{
/* tmpvardeclst(beg) */
ATStmpdec_void(tmpret170__1, atsvoid_t0ype) ;
/* tmpvardeclst(end) */
/* funbodyinstrlst(beg) */
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 1950(line=55, offs=1) -- 1994(line=55, offs=45)
*/
__patsflab_gtkcairoclock_timeout_update:
/*
emit_instr: loc0 = /home/hwxi/research/Postiats/git/contrib/libats-hwxi/teaching/myGTK/DATS/gtkcairoclock.dats({$LIBATSHWXI}/teaching/myGTK/DATS/gtkcairoclock.dats): 1984(line=55, offs=35) -- 1994(line=55, offs=45)
*/
ATSINSmove_void(tmpret170__1, ATSempty()) ;
/* funbodyinstrlst(end) */
ATSreturn_void(tmpret170__1) ;
} /* end of [ATSCNTRB_056_libats_055_hwxi_056_teaching__gtkcairoclock_timeout_update__34__1] */

/*
** for initialization(dynloading)
*/
atsvoid_t0ype
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__dynload()
{
ATSdynload0(
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__dynloadflag
) ;
ATSif(
ATSCKiseqz(
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__dynloadflag
)
) ATSthen() {
ATSdynloadset(_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__dynloadflag) ;
/*
dynexnlst-initize(beg)
*/
/*
dynexnlst-initize(end)
*/
} /* ATSendif */
ATSreturn_void() ;
} /* end of [*_dynload] */

/*
** the ATS runtime
*/
#ifndef _ATS_CCOMP_RUNTIME_NONE
#include "pats_ccomp_runtime.c"
#include "pats_ccomp_runtime_memalloc.c"
#ifndef _ATS_EXCEPTION_NONE
#include "pats_ccomp_runtime2_dats.c"
#ifndef _ATS_CCOMP_RUNTIME_TRYWITH_NONE
#include "pats_ccomp_runtime_trywith.c"
#endif /* _ATS_CCOMP_RUNTIME_TRYWITH_NONE */
#endif // end of [_ATS_EXCEPTION_NONE]
#endif /* _ATS_CCOMP_RUNTIME_NONE */

/*
** the [main] implementation
*/
int
main
(
int argc, char **argv, char **envp
) {
int err = 0 ;
_057_home_057_hwxi_057_research_057_Postiats_057_git_057_doc_057_PROJECT_057_SMALL_057_gtkcairoclock_057_myclock2_056_dats__dynload() ;
ATSmainats_argc_argv_0(argc, argv, err) ;
return (err) ;
} /* end of [main] */