ats_ptr_type
list_vt_append_01504_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) {
    /* local vardec */
    ATSlocal (ats_ptr_type, tmp15) ;
    ATSlocal (ats_ptr_type, tmp16) ;
// ATSlocal_void (tmp19) ;

__ats_lab_list_vt_append_01504_ats_ptr_type:
    /* ats_ptr_type tmp16 ; */
    tmp16 = arg0 ;
    /* tmp19 = */ loop_6 ((&tmp16), arg1) ;
    tmp15 = tmp16 ;
    return (tmp15) ;
} /* end of [list_vt_append_01504_ats_ptr_type] */
ats_ptr_type
ATS_2d0_2e2_2e10_2libc_2SATS_2random_2esats__randperm (ats_int_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp20) ;
ATSlocal (ats_size_type, tmp21) ;
ATSlocal (ats_ptr_type, tmp22) ;
ATSlocal (ats_ptr_type, tmp24) ;
// ATSlocal_void (tmp29) ;
// ATSlocal_void (tmp50) ;

__ats_lab_ATS_2d0_2e2_2e10_2libc_2SATS_2random_2esats__randperm:
tmp21 = atspre_size1_of_int1 (arg0) ;
tmp22 = array_ptr_alloc_01535_ats_int_type (tmp21) ;
tmp24 = ats_selsin_mac(tmp22, atslab_2) ;
/* tmp29 = */ loop_5 (arg0, tmp24, 0) ;
/* tmp50 = */ loop_6 (arg0, tmp24, 0) ;
tmp20 = tmp24 ;
return (tmp20) ;
} /* end of [ATS_2d0_2e2_2e10_2libc_2SATS_2random_2esats__randperm] */