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] */