ats_int_type
ATS_2d0_2e2_2e10_2libc_2SATS_2random_2esats__srand48_with_gettimeofday () {
/* local vardec */
ATSlocal (ats_int_type, tmp0) ;
ATSlocal (ats_timeval_type, tmp1) ;
ATSlocal (ats_int_type, tmp2) ;
// ATSlocal_void (tmp3) ;
ATSlocal (ats_bool_type, tmp4) ;
ATSlocal (ats_lint_type, tmp5) ;
ATSlocal (ats_lint_type, tmp6) ;
ATSlocal (ats_time_type, tmp7) ;
ATSlocal (ats_suseconds_type, tmp8) ;

__ats_lab_ATS_2d0_2e2_2e10_2libc_2SATS_2random_2esats__srand48_with_gettimeofday:
/* ats_timeval_type tmp1 ; */
tmp2 = atslib_gettimeofday_tv ((&tmp1)) ;
tmp4 = atspre_ieq (tmp2, 0) ;
if (tmp4) {
tmp7 = ats_select_mac(tmp1, tv_sec) ;
tmp6 = atspre_mul_lint_lint (ats_castfn_mac(ats_lint_type, tmp7), 1000000L) ;
tmp8 = ats_select_mac(tmp1, tv_usec) ;
tmp5 = atspre_add_lint_lint (tmp6, ats_castfn_mac(ats_lint_type, tmp8)) ;
/* tmp3 = */ atslib_srand48 (tmp5) ;
} else {
/* empty */
} /* end of [if] */
tmp0 = tmp2 ;
return (tmp0) ;
} /* end of [ATS_2d0_2e2_2e10_2libc_2SATS_2random_2esats__srand48_with_gettimeofday] */
ats_bool_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__eq_label_label (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_bool_type, tmp17) ;
ATSlocal (ats_int_type, tmp18) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__eq_label_label:
tmp18 = _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__compare_label_label (arg0, arg1) ;
tmp17 = atspre_ieq (tmp18, 0) ;
return (tmp17) ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__eq_label_label] */
ats_bool_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__eq_d2con_d2con (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_bool_type, tmp60) ;
ATSlocal (ats_int_type, tmp61) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__eq_d2con_d2con:
tmp61 = _2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__compare_d2con_d2con (arg0, arg1) ;
tmp60 = atspre_ieq (tmp61, 0) ;
return (tmp60) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__eq_d2con_d2con] */