===========================================================
                                      .___ __  __   
          _________________  __ __  __| _/|__|/  |_ 
         / ___\_` __ \__  \ |  |  \/ __ | | \\_  __\
        / /_/  >  | \// __ \|  |  / /_/ | |  ||  |  
        \___  /|__|  (____  /____/\____ | |__||__|  
       /_____/            \/           \/           
              grep rough audit - static analysis tool
                  v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
ats2-lang-0.4.0/src/pats_dynexp2.sats-384-
ats2-lang-0.4.0/src/pats_dynexp2.sats:385:fun d2var_get_addr (x: d2var):<> s2expopt
ats2-lang-0.4.0/src/pats_dynexp2.sats:386:fun d2var_set_addr (x: d2var, opt: s2expopt): void
ats2-lang-0.4.0/src/pats_dynexp2.sats-387-
##############################################
ats2-lang-0.4.0/src/pats_trans3_patcon.dats-333-  val d2vw = d2var_mutablize_none (loc, d2v, s2e) // making [d2v] mutable
ats2-lang-0.4.0/src/pats_trans3_patcon.dats:334:  val-Some (s2l) = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_patcon.dats-335-in
##############################################
ats2-lang-0.4.0/src/pats_trans3_decl.dats-855-  d2var_mutablize (locvar, d2v, s2e0, v2d.v2ardec_pfat)
ats2-lang-0.4.0/src/pats_trans3_decl.dats:856:val-Some(s2l) = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_decl.dats-857-//
##############################################
ats2-lang-0.4.0/src/pats_staexp2.sats-339-fun s2rt_is_int (x: s2rt): bool
ats2-lang-0.4.0/src/pats_staexp2.sats:340:fun s2rt_is_addr (x: s2rt): bool
ats2-lang-0.4.0/src/pats_staexp2.sats-341-fun s2rt_is_bool (x: s2rt): bool
##############################################
ats2-lang-0.4.0/src/pats_trans3_assgn.dats-634-    Some(s2l) =
ats2-lang-0.4.0/src/pats_trans3_assgn.dats:635:      d2var_get_addr(d2v)
ats2-lang-0.4.0/src/pats_trans3_assgn.dats-636-    // end of [val]
##############################################
ats2-lang-0.4.0/src/pats_staexp2_sort.dats-323-implement
ats2-lang-0.4.0/src/pats_staexp2_sort.dats:324:s2rt_is_addr (s2t) =
ats2-lang-0.4.0/src/pats_staexp2_sort.dats-325-(
##############################################
ats2-lang-0.4.0/src/pats_constraint3.dats-560-| _ when s2rt_is_int (s2t1) => s3exp_ieq (s3e1, s3e2)
ats2-lang-0.4.0/src/pats_constraint3.dats:561:| _ when s2rt_is_addr (s2t1) => s3exp_ieq (s3e1, s3e2)
ats2-lang-0.4.0/src/pats_constraint3.dats-562-| _ when s2rt_is_bool (s2t1) => s3exp_beq (s3e1, s3e2)
##############################################
ats2-lang-0.4.0/src/pats_trans3_lvalres.dats-235-    when d2var_is_mutabl (d2v) => let
ats2-lang-0.4.0/src/pats_trans3_lvalres.dats:236:    val-Some (s2l) = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_lvalres.dats-237-    val d3ls = list_nil // HX: a special case of sel_var
##############################################
ats2-lang-0.4.0/src/pats_trans3_lvalres.dats-270-    when d2var_is_mutabl (d2v) => let
ats2-lang-0.4.0/src/pats_trans3_lvalres.dats:271:    val-Some (s2l) = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_lvalres.dats-272-    val _(*old*) = s2addr_exch_type (loc0, s2l, d3ls, s2e_new)
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dats.c-3700-if (tmp324) {
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dats.c:3701:tmp325 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp323) ;
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dats.c-3702-if (tmp325 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_dynexp2.dats: 21072(line=1089, offs=9) -- 21113(line=1090, offs=30)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_p2at_dats.c-2364-ats_selptrset_mac(anairiats_sum_9, tmp98, atslab_0, tmp96) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_p2at_dats.c:2365:/* tmp97 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_set_addr (tmp82, tmp98) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_p2at_dats.c-2366-tmp99 = _2tmp_2ATS_2dPostiats_2src_2pats_stacst2_2esats__s2exp_ptr_addr_type (tmp96) ;
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_decl_dats.c-3606-tmp318 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__d2var_mutablize (tmp291, tmp290, tmp295, tmp319) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_decl_dats.c:3607:tmp320 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp290) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_decl_dats.c-3608-if (tmp320 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_decl.dats: 20113(line=856, offs=5) -- 20145(line=856, offs=37)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c-2015-tmp131 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_2esats__d2lablst_trup (tmp130) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c:2016:tmp132 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp129) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c-2017-if (tmp132 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_viewat.dats: 9554(line=387, offs=9) -- 9587(line=387, offs=42)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c-2201-tmp177 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_2esats__d2lablst_trup (tmp176) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c:2202:tmp178 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp175) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c-2203-if (tmp178 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_viewat.dats: 12071(line=489, offs=9) -- 12104(line=489, offs=42)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c-1631-tmp2 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_2esats__d2var_get_type_some (arg0, arg1) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c:1632:tmp3 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (arg1) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c-1633-do {
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c-1651-ats_selptrset_mac(anairiats_sum_2, tmp11, atslab_0, tmp9) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c:1652:/* tmp10 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_set_addr (arg1, tmp11) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c-1653-tmp4 = tmp9 ;
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c-3584-tmp327 = ats_caselptrlab_mac(anairiats_sum_2, tmp326, atslab_0) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c:3585:tmp328 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp323) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c-3586-if (tmp328 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_env_dvar.dats: 22373(line=987, offs=9) -- 22411(line=987, offs=47)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c-1907-tmp94 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_2esats__d2lablst_trup (tmp93) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c:1908:tmp95 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp92) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c-1909-if (tmp95 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_xchng.dats: 8999(line=398, offs=9) -- 9032(line=398, offs=42)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c-2304-tmp182 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_2esats__d2lablst_trup (tmp181) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c:2305:tmp183 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp180) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c-2306-if (tmp183 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_xchng.dats: 14527(line=644, offs=9) -- 14560(line=644, offs=42)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c-1057-ats_ptr_type
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c:1058:_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (ats_ptr_type arg0) {
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c-1059-/* local vardec */
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c-1073-ats_void_type
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c:1074:_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_set_addr (ats_ptr_type arg0, ats_ptr_type arg1) {
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c-1075-/* local vardec */
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c-1504-/* tmp99 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_set_linval (tmp94, 0) ;
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c:1505:tmp101 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (arg0) ;
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c:1506:/* tmp100 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_set_addr (tmp94, tmp101) ;
ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c-1507-tmp91 = tmp94 ;
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_dynexp_up_dats.c-3719-__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans3_2esats__d2exp_trup_var_mutabl:
ats2-lang-0.4.0/src/CBOOT/pats_trans3_dynexp_up_dats.c:3720:tmp208 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (arg1) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_dynexp_up_dats.c-3721-if (tmp208 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_dynexp_up.dats: 19395(line=874, offs=7) -- 19428(line=874, offs=40)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c-1858-if (!tmp58) { goto __ats_lab_5_1 ; }
ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c:1859:tmp59 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp57) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c-1860-if (tmp59 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_lvalres.dats: 5498(line=236, offs=9) -- 5531(line=236, offs=42)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c-1908-if (!tmp74) { goto __ats_lab_9_1 ; }
ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c:1909:tmp75 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp72) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c-1910-if (tmp75 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_lvalres.dats: 6439(line=271, offs=9) -- 6472(line=271, offs=42)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c-4854-/* tmp609 = */ auxck2_74 (arg0, arg2, tmp602) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c:4855:tmp610 = _2tmp_2ATS_2dPostiats_2src_2pats_trans2_2esats__s1explst_trdn_addr (tmp602) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c-4856-if (tmp610 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans2_staexp.dats: 33954(line=1493, offs=5) -- 33982(line=1493, offs=33)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c-6658-ats_ptr_type
ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c:6659:_2tmp_2ATS_2dPostiats_2src_2pats_trans2_2esats__s1exp_trdn_addr (ats_ptr_type arg0) {
ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c-6660-/* local vardec */
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c-6778-ats_ptr_type
ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c:6779:_2tmp_2ATS_2dPostiats_2src_2pats_trans2_2esats__s1explst_trdn_addr (ats_ptr_type arg0) {
ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c-6780-/* local vardec */
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_assgn_dats.c-2417-tmp180 = ats_caselptrlab_mac(anairiats_sum_4, tmp178, atslab_1) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_assgn_dats.c:2418:tmp181 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp179) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_assgn_dats.c-2419-if (tmp181 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_assgn.dats: 12971(line=634, offs=5) -- 13008(line=635, offs=26)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c-1758-tmp65 = ats_caselptrlab_mac(anairiats_sum_5, tmp64, atslab_0) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c:1759:tmp66 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp65) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c-1760-do {
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c-1881-__ats_lab_17_1:
ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c:1882:tmp86 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (arg1) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c-1883-if (tmp86 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_ptrof.dats: 6885(line=312, offs=9) -- 6918(line=312, offs=42)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_constraint3_dats.c-2968-__ats_lab_120_1:
ats2-lang-0.4.0/src/CBOOT/pats_constraint3_dats.c:2969:tmp178 = _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__s2rt_is_addr (tmp174) ;
ats2-lang-0.4.0/src/CBOOT/pats_constraint3_dats.c-2970-if (!tmp178) { goto __ats_lab_121_1 ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_selab_dats.c-3229-__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans3_selab_2edats__d2var_trup_selab_mut:
ats2-lang-0.4.0/src/CBOOT/pats_trans3_selab_dats.c:3230:tmp341 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (arg2) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_selab_dats.c-3231-if (tmp341 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_selab.dats: 20608(line=948, offs=1) -- 20641(line=949, offs=29)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans2_decl_dats.c-5892-ats_selptrset_mac(anairiats_sum_6, tmp798, atslab_0, tmp796) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans2_decl_dats.c:5893:/* tmp797 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_set_addr (tmp791, tmp798) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans2_decl_dats.c-5894-tmp800 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_39, arg0), atslab_v1ardec_pfat) ;
##############################################
ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_collecting_dats.c-522-  setjmp (reg_save) ; // push registers onto the stack
ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_collecting_dats.c:523:  asm volatile ("": : :"memory") ; // stop potential optimization
ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_collecting_dats.c-524-
##############################################
ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_collecting_dats.c-522-  setjmp (reg_save) ; // push registers onto the stack
ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_collecting_dats.c:523:  asm volatile ("": : :"memory") ; // stop potential optimization
ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_collecting_dats.c-524-
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_trans3_patcon_dats.c-2127-tmp107 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__d2var_mutablize_none (tmp103, tmp104, tmp106) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_patcon_dats.c:2128:tmp108 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp104) ;
ats2-lang-0.4.0/src/CBOOT/pats_trans3_patcon_dats.c-2129-if (tmp108 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_patcon.dats: 7758(line=334, offs=7) -- 7791(line=334, offs=40)") ; }
##############################################
ats2-lang-0.4.0/src/CBOOT/pats_staexp2_sort_dats.c-856-ats_bool_type
ats2-lang-0.4.0/src/CBOOT/pats_staexp2_sort_dats.c:857:_2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__s2rt_is_addr (ats_ptr_type arg0) {
ats2-lang-0.4.0/src/CBOOT/pats_staexp2_sort_dats.c-858-/* local vardec */
##############################################
ats2-lang-0.4.0/src/pats_trans3_xchng.dats-397-    val d3ls = d2lablst_trup (d2ls)
ats2-lang-0.4.0/src/pats_trans3_xchng.dats:398:    val-Some (s2l) = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_xchng.dats-399-    var s2rt: s2exp
##############################################
ats2-lang-0.4.0/src/pats_trans3_xchng.dats-643-    val d3ls = d2lablst_trup(d2ls)
ats2-lang-0.4.0/src/pats_trans3_xchng.dats:644:    val-Some(s2l) = d2var_get_addr(d2v_l)
ats2-lang-0.4.0/src/pats_trans3_xchng.dats-645-    var s2rt: s2exp
##############################################
ats2-lang-0.4.0/src/pats_trans2_staexp.dats-1491-val () = auxck2 (s1e0, d2c, s1es)
ats2-lang-0.4.0/src/pats_trans2_staexp.dats:1492:val s2es = s1explst_trdn_addr (s1es)
ats2-lang-0.4.0/src/pats_trans2_staexp.dats-1493-val-list_cons (_rt, _arg) = s2es
##############################################
ats2-lang-0.4.0/src/pats_trans2_staexp.dats-2304-implement
ats2-lang-0.4.0/src/pats_trans2_staexp.dats:2305:s1exp_trdn_addr (s1e) = s1exp_trdn (s1e, s2rt_addr)
ats2-lang-0.4.0/src/pats_trans2_staexp.dats-2306-implement
##############################################
ats2-lang-0.4.0/src/pats_trans3_dynexp_up.dats-873-  (loc0, d2v) = let
ats2-lang-0.4.0/src/pats_trans3_dynexp_up.dats:874:  val-Some (s2l) = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_dynexp_up.dats-875-  var s2rt: s2exp
##############################################
ats2-lang-0.4.0/src/pats_trans3_p2at.dats-343-    val s2e_addr = s2exp_var (s2v_addr)
ats2-lang-0.4.0/src/pats_trans3_p2at.dats:344:    val () = d2var_set_addr (d2v, Some s2e_addr)
ats2-lang-0.4.0/src/pats_trans3_p2at.dats-345-    val s2e_ptr = s2exp_ptr_addr_type (s2e_addr)
##############################################
ats2-lang-0.4.0/src/pats_trans3_p2at.dats-1722-  val d2vw = d2var_mutablize (loc0, d2v, s2e0)
ats2-lang-0.4.0/src/pats_trans3_p2at.dats:1723:  val-Some (s2l) = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_p2at.dats-1724-  val s2at0 = s2exp_at (s2exp_topize_0 (s2e0), s2l)
##############################################
ats2-lang-0.4.0/src/pats_lexing.dats-2534-//
ats2-lang-0.4.0/src/pats_lexing.dats:2535:| LS_ADDR () => let
ats2-lang-0.4.0/src/pats_lexing.dats:2536:    val () = strptr_free (mystr) in lexing_ADDR (buf, pos)
ats2-lang-0.4.0/src/pats_lexing.dats-2537-  end
##############################################
ats2-lang-0.4.0/src/pats_trans3_ptrof.dats-243-| D2Evar(d2v) => let
ats2-lang-0.4.0/src/pats_trans3_ptrof.dats:244:    val opt = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_ptrof.dats-245-  in
##############################################
ats2-lang-0.4.0/src/pats_trans3_ptrof.dats-311-| list_cons _ => let
ats2-lang-0.4.0/src/pats_trans3_ptrof.dats:312:    val-Some (s2l) = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_ptrof.dats-313-    var s2rt: s2exp
##############################################
ats2-lang-0.4.0/src/pats_trans2_decl.dats-2125-val s2e_addr = s2exp_var (s2v_addr)
ats2-lang-0.4.0/src/pats_trans2_decl.dats:2126:val ((*void*)) = d2var_set_addr (d2v, Some (s2e_addr))
ats2-lang-0.4.0/src/pats_trans2_decl.dats-2127-//
##############################################
ats2-lang-0.4.0/src/pats_dynexp2_dvar.dats-217-implement
ats2-lang-0.4.0/src/pats_dynexp2_dvar.dats:218:d2var_set_addr (d2v, s2fopt) = let
ats2-lang-0.4.0/src/pats_dynexp2_dvar.dats-219-  val (vbox pf | p) = ref_get_view_ptr (d2v) in p->d2var_addr := s2fopt
##############################################
ats2-lang-0.4.0/src/pats_dynexp2_dvar.dats-371-  val () = d2var_set_linval (d2vw, 0)
ats2-lang-0.4.0/src/pats_dynexp2_dvar.dats:372:  val () = d2var_set_addr (d2vw, d2var_get_addr ptr)
ats2-lang-0.4.0/src/pats_dynexp2_dvar.dats-373-//
##############################################
ats2-lang-0.4.0/src/pats_dynexp2.dats-1089-        Some(s2l) =
ats2-lang-0.4.0/src/pats_dynexp2.dats:1090:          d2var_get_addr(d2v)
ats2-lang-0.4.0/src/pats_dynexp2.dats-1091-        // end of [val]
##############################################
ats2-lang-0.4.0/src/pats_trans3_viewat.dats-386-    val d3ls = d2lablst_trup (d2ls)
ats2-lang-0.4.0/src/pats_trans3_viewat.dats:387:    val-Some (s2l) = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_viewat.dats-388-    val s2e = d2var_get_type_some (loc0, d2v)
##############################################
ats2-lang-0.4.0/src/pats_trans3_viewat.dats-488-    val d3ls = d2lablst_trup (d2ls)
ats2-lang-0.4.0/src/pats_trans3_viewat.dats:489:    val-Some (s2l) = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_viewat.dats-490-    val d3e_r = d2exp_trup (d2e_r)
##############################################
ats2-lang-0.4.0/src/pats_trans2.sats-177-fun s1exp_trdn_int (s1e: s1exp): s2exp
ats2-lang-0.4.0/src/pats_trans2.sats:178:fun s1exp_trdn_addr (s1e: s1exp): s2exp
ats2-lang-0.4.0/src/pats_trans2.sats-179-fun s1exp_trdn_bool (s1e: s1exp): s2exp
##############################################
ats2-lang-0.4.0/src/pats_trans2.sats-184-fun s1explst_trdn_int (s1es: s1explst): s2explst
ats2-lang-0.4.0/src/pats_trans2.sats:185:fun s1explst_trdn_addr (s1es: s1explst): s2explst
ats2-lang-0.4.0/src/pats_trans2.sats-186-fun s1explst_trdn_bool (s1es: s1explst): s2explst
##############################################
ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats-96-val s2e_addr = let
ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats:97:  val opt = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats-98-in
##############################################
ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats-106-      val s2e_addr = s2exp_var (s2v_addr)
ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats:107:      val () = d2var_set_addr (d2v, Some s2e_addr)
ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats-108-    in
##############################################
ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats-986-    val-Some (d2v_view) = d2var_get_view (d2v)
ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats:987:    val-Some (s2e_addr) = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats-988-    val s2e_at = s2exp_at (s2e, s2e_addr)
##############################################
ats2-lang-0.4.0/src/pats_trans3_selab.dats-948-Some
ats2-lang-0.4.0/src/pats_trans3_selab.dats:949:(s2l) = d2var_get_addr (d2v)
ats2-lang-0.4.0/src/pats_trans3_selab.dats-950-//
##############################################
ats2-lang-0.4.0/missing-129-       # Could not run --version or --help.  This is probably someone
ats2-lang-0.4.0/missing:130:       # running `$TOOL --version' or `$TOOL --help' to check whether
ats2-lang-0.4.0/missing-131-       # $TOOL exists and not knowing $TOOL uses missing.
##############################################
ats2-lang-0.4.0/missing-163-         from any GNU archive site."
ats2-lang-0.4.0/missing:164:    files=`sed -n 's/^[ ]*A[CM]_CONFIG_HEADER(\([^)]*\)).*/\1/p' ${configure_ac}`
ats2-lang-0.4.0/missing-165-    test -z "$files" && files="config.h"
##############################################
ats2-lang-0.4.0/missing-192-         proper tools for further handling them.
ats2-lang-0.4.0/missing:193:         You can get \`$1' as part of \`Autoconf' from any GNU
ats2-lang-0.4.0/missing-194-         archive site."
ats2-lang-0.4.0/missing-195-
ats2-lang-0.4.0/missing:196:    file=`echo "$*" | sed -n "$sed_output"`
ats2-lang-0.4.0/missing:197:    test -z "$file" && file=`echo "$*" | sed -n "$sed_minuso"`
ats2-lang-0.4.0/missing-198-    if test -f "$file"; then
##############################################
ats2-lang-0.4.0/missing-221-	*.y)
ats2-lang-0.4.0/missing:222:	    SRCFILE=`echo "$LASTARG" | sed 's/y$/c/'`
ats2-lang-0.4.0/missing-223-	    if test -f "$SRCFILE"; then
##############################################
ats2-lang-0.4.0/missing-225-	    fi
ats2-lang-0.4.0/missing:226:	    SRCFILE=`echo "$LASTARG" | sed 's/y$/h/'`
ats2-lang-0.4.0/missing-227-	    if test -f "$SRCFILE"; then
##############################################
ats2-lang-0.4.0/missing-251-	*.l)
ats2-lang-0.4.0/missing:252:	    SRCFILE=`echo "$LASTARG" | sed 's/l$/c/'`
ats2-lang-0.4.0/missing-253-	    if test -f "$SRCFILE"; then
##############################################
ats2-lang-0.4.0/missing-270-
ats2-lang-0.4.0/missing:271:    file=`echo "$*" | sed -n "$sed_output"`
ats2-lang-0.4.0/missing:272:    test -z "$file" && file=`echo "$*" | sed -n "$sed_minuso"`
ats2-lang-0.4.0/missing-273-    if test -f "$file"; then
##############################################
ats2-lang-0.4.0/missing-290-    # The file to touch is that specified with -o ...
ats2-lang-0.4.0/missing:291:    file=`echo "$*" | sed -n "$sed_output"`
ats2-lang-0.4.0/missing:292:    test -z "$file" && file=`echo "$*" | sed -n "$sed_minuso"`
ats2-lang-0.4.0/missing-293-    if test -z "$file"; then
ats2-lang-0.4.0/missing-294-      # ... or it is the one specified with @setfilename ...
ats2-lang-0.4.0/missing:295:      infile=`echo "$*" | sed 's/.* \([^ ]*\) *$/\1/'`
ats2-lang-0.4.0/missing-296-      file=`sed -n '
##############################################
ats2-lang-0.4.0/missing-302-      # ... or it is derived from the source name (dir/f.texi becomes f.info)
ats2-lang-0.4.0/missing:303:      test -z "$file" && file=`echo "$infile" | sed 's,.*/,,;s,.[^.]*$,,'`.info
ats2-lang-0.4.0/missing-304-    fi
##############################################
ats2-lang-0.4.0/configure-45-if test -z "$BASH_VERSION$ZSH_VERSION" \
ats2-lang-0.4.0/configure:46:    && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then
ats2-lang-0.4.0/configure-47-  as_echo='print -r --'
ats2-lang-0.4.0/configure-48-  as_echo_n='print -rn --'
ats2-lang-0.4.0/configure:49:elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then
ats2-lang-0.4.0/configure-50-  as_echo='printf %s\n'
##############################################
ats2-lang-0.4.0/configure-52-else
ats2-lang-0.4.0/configure:53:  if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then
ats2-lang-0.4.0/configure-54-    as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"'
##############################################
ats2-lang-0.4.0/configure-62-	expr "X$arg" : "X\\(.*\\)$as_nl";
ats2-lang-0.4.0/configure:63:	arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
ats2-lang-0.4.0/configure-64-      esac;
##############################################
ats2-lang-0.4.0/configure-199-  eval 'test \"x\$as_lineno_1'\$as_run'\" != \"x\$as_lineno_2'\$as_run'\" &&
ats2-lang-0.4.0/configure:200:  test \"x\`expr \$as_lineno_1'\$as_run' + 1\`\" = \"x\$as_lineno_2'\$as_run'\"' || exit 1
ats2-lang-0.4.0/configure-201-test \$(( 1 + 1 )) = 2 || exit 1"
##############################################
ats2-lang-0.4.0/configure-327-      case $as_dir in #(
ats2-lang-0.4.0/configure:328:      *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
ats2-lang-0.4.0/configure-329-      *) as_qdir=$as_dir;;
##############################################
ats2-lang-0.4.0/configure-400-  {
ats2-lang-0.4.0/configure:401:    as_val=`expr "$@" || test $? -eq 1`
ats2-lang-0.4.0/configure-402-  }
##############################################
ats2-lang-0.4.0/configure-407-# ----------------------------------------
ats2-lang-0.4.0/configure:408:# Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are
ats2-lang-0.4.0/configure-409-# provided, also output the error to LOG_FD, referencing LINENO. Then exit the
##############################################
ats2-lang-0.4.0/configure-470-  eval 'test "x$as_lineno_1'$as_run'" != "x$as_lineno_2'$as_run'" &&
ats2-lang-0.4.0/configure:471:  test "x`expr $as_lineno_1'$as_run' + 1`" = "x$as_lineno_2'$as_run'"' || {
ats2-lang-0.4.0/configure-472-  # Blame Lee E. McMahon (1931-1989) for sed's syntax.  :-)
##############################################
ats2-lang-0.4.0/configure-757-  case $ac_option in
ats2-lang-0.4.0/configure:758:  *=?*) ac_optarg=`expr "X$ac_option" : '[^=]*=\(.*\)'` ;;
ats2-lang-0.4.0/configure-759-  *=)   ac_optarg= ;;
##############################################
ats2-lang-0.4.0/configure-801-  -disable-* | --disable-*)
ats2-lang-0.4.0/configure:802:    ac_useropt=`expr "x$ac_option" : 'x-*disable-\(.*\)'`
ats2-lang-0.4.0/configure-803-    # Reject names that are not valid shell variable names.
##############################################
ats2-lang-0.4.0/configure-806-    ac_useropt_orig=$ac_useropt
ats2-lang-0.4.0/configure:807:    ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
ats2-lang-0.4.0/configure-808-    case $ac_user_opts in
##############################################
ats2-lang-0.4.0/configure-827-  -enable-* | --enable-*)
ats2-lang-0.4.0/configure:828:    ac_useropt=`expr "x$ac_option" : 'x-*enable-\([^=]*\)'`
ats2-lang-0.4.0/configure-829-    # Reject names that are not valid shell variable names.
##############################################
ats2-lang-0.4.0/configure-832-    ac_useropt_orig=$ac_useropt
ats2-lang-0.4.0/configure:833:    ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
ats2-lang-0.4.0/configure-834-    case $ac_user_opts in
##############################################
ats2-lang-0.4.0/configure-1040-  -with-* | --with-*)
ats2-lang-0.4.0/configure:1041:    ac_useropt=`expr "x$ac_option" : 'x-*with-\([^=]*\)'`
ats2-lang-0.4.0/configure-1042-    # Reject names that are not valid shell variable names.
##############################################
ats2-lang-0.4.0/configure-1045-    ac_useropt_orig=$ac_useropt
ats2-lang-0.4.0/configure:1046:    ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
ats2-lang-0.4.0/configure-1047-    case $ac_user_opts in
##############################################
ats2-lang-0.4.0/configure-1056-  -without-* | --without-*)
ats2-lang-0.4.0/configure:1057:    ac_useropt=`expr "x$ac_option" : 'x-*without-\(.*\)'`
ats2-lang-0.4.0/configure-1058-    # Reject names that are not valid shell variable names.
##############################################
ats2-lang-0.4.0/configure-1061-    ac_useropt_orig=$ac_useropt
ats2-lang-0.4.0/configure:1062:    ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
ats2-lang-0.4.0/configure-1063-    case $ac_user_opts in
##############################################
ats2-lang-0.4.0/configure-1094-  *=*)
ats2-lang-0.4.0/configure:1095:    ac_envvar=`expr "x$ac_option" : 'x\([^=]*\)='`
ats2-lang-0.4.0/configure-1096-    # Reject names that are not valid shell variable names.
##############################################
ats2-lang-0.4.0/configure-1115-if test -n "$ac_prev"; then
ats2-lang-0.4.0/configure:1116:  ac_option=--`echo $ac_prev | sed 's/_/-/g'`
ats2-lang-0.4.0/configure-1117-  as_fn_error $? "missing argument to $ac_option"
##############################################
ats2-lang-0.4.0/configure-1137-    */ )
ats2-lang-0.4.0/configure:1138:      ac_val=`expr "X$ac_val" : 'X\(.*[^/]\)' \| "X$ac_val" : 'X\(.*\)'`
ats2-lang-0.4.0/configure-1139-      eval $ac_var=\$ac_val;;
##############################################
ats2-lang-0.4.0/configure-1172-ac_ls_di=`ls -di .` &&
ats2-lang-0.4.0/configure:1173:ac_pwd_ls_di=`cd "$ac_pwd" && ls -di .` ||
ats2-lang-0.4.0/configure-1174-  as_fn_error $? "working directory cannot be determined"
##############################################
ats2-lang-0.4.0/configure-1228-case $srcdir in
ats2-lang-0.4.0/configure:1229:*/) srcdir=`expr "X$srcdir" : 'X\(.*[^/]\)' \| "X$srcdir" : 'X\(.*\)'`;;
ats2-lang-0.4.0/configure-1230-esac
##############################################
ats2-lang-0.4.0/configure-1271-By default, \`make install' will install all the files in
ats2-lang-0.4.0/configure:1272:\`$ac_default_prefix/bin', \`$ac_default_prefix/lib' etc.  You can specify
ats2-lang-0.4.0/configure:1273:an installation prefix other than \`$ac_default_prefix' using \`--prefix',
ats2-lang-0.4.0/configure-1274-for instance \`--prefix=\$HOME'.
##############################################
ats2-lang-0.4.0/configure-1339-*)
ats2-lang-0.4.0/configure:1340:  ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
ats2-lang-0.4.0/configure-1341-  # A ".." for each directory in $ac_dir_suffix.
ats2-lang-0.4.0/configure:1342:  ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'`
ats2-lang-0.4.0/configure-1343-  case $ac_top_builddir_sub in
##############################################
ats2-lang-0.4.0/configure-2010-    *\'*)
ats2-lang-0.4.0/configure:2011:      ac_arg=`$as_echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
ats2-lang-0.4.0/configure-2012-    esac
##############################################
ats2-lang-0.4.0/configure-2093-      case $ac_val in
ats2-lang-0.4.0/configure:2094:      *\'\''*) ac_val=`$as_echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;;
ats2-lang-0.4.0/configure-2095-      esac
##############################################
ats2-lang-0.4.0/configure-2108-	case $ac_val in
ats2-lang-0.4.0/configure:2109:	*\'\''*) ac_val=`$as_echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;;
ats2-lang-0.4.0/configure-2110-	esac
##############################################
ats2-lang-0.4.0/configure-2228-    set,)
ats2-lang-0.4.0/configure:2229:      { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&5
ats2-lang-0.4.0/configure:2230:$as_echo "$as_me: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&2;}
ats2-lang-0.4.0/configure-2231-      ac_cache_corrupted=: ;;
##############################################
ats2-lang-0.4.0/configure-2239-	# differences in whitespace do not lead to failure.
ats2-lang-0.4.0/configure:2240:	ac_old_val_w=`echo x $ac_old_val`
ats2-lang-0.4.0/configure:2241:	ac_new_val_w=`echo x $ac_new_val`
ats2-lang-0.4.0/configure-2242-	if test "$ac_old_val_w" != "$ac_new_val_w"; then
##############################################
ats2-lang-0.4.0/configure-2259-    case $ac_new_val in
ats2-lang-0.4.0/configure:2260:    *\'*) ac_arg=$ac_var=`$as_echo "$ac_new_val" | sed "s/'/'\\\\\\\\''/g"` ;;
ats2-lang-0.4.0/configure-2261-    *) ac_arg=$ac_var=$ac_new_val ;;
##############################################
ats2-lang-0.4.0/configure-2646-$as_echo_n "checking whether the C compiler works... " >&6; }
ats2-lang-0.4.0/configure:2647:ac_link_default=`$as_echo "$ac_link" | sed 's/ -o *conftest[^ ]*//'`
ats2-lang-0.4.0/configure-2648-
##############################################
ats2-lang-0.4.0/configure-2690-	then :; else
ats2-lang-0.4.0/configure:2691:	   ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
ats2-lang-0.4.0/configure-2692-	fi
##############################################
ats2-lang-0.4.0/configure-2750-    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.dSYM | *.o | *.obj ) ;;
ats2-lang-0.4.0/configure:2751:    *.* ) ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
ats2-lang-0.4.0/configure-2752-	  break;;
##############################################
ats2-lang-0.4.0/configure-2859-    *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.dSYM ) ;;
ats2-lang-0.4.0/configure:2860:    *) ac_cv_objext=`expr "$ac_file" : '.*\.\(.*\)'`
ats2-lang-0.4.0/configure-2861-       break;;
##############################################
ats2-lang-0.4.0/configure-3225-	   as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext" || continue
ats2-lang-0.4.0/configure:3226:	   case `"$as_dir/$ac_prog$ac_exec_ext" --version 2>&1` in #(
ats2-lang-0.4.0/configure-3227-	     'mkdir (GNU coreutils) '* | \
##############################################
ats2-lang-0.4.0/configure-3423-  # Check for GNU $ac_path_GREP
ats2-lang-0.4.0/configure:3424:case `"$ac_path_GREP" --version 2>&1` in
ats2-lang-0.4.0/configure-3425-*GNU*)
##############################################
ats2-lang-0.4.0/configure-3489-  # Check for GNU $ac_path_EGREP
ats2-lang-0.4.0/configure:3490:case `"$ac_path_EGREP" --version 2>&1` in
ats2-lang-0.4.0/configure-3491-*GNU*)
##############################################
ats2-lang-0.4.0/configure-3650-do :
ats2-lang-0.4.0/configure:3651:  as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
ats2-lang-0.4.0/configure-3652-ac_fn_c_check_header_compile "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default
##############################################
ats2-lang-0.4.0/configure-3655-  cat >>confdefs.h <<_ACEOF
ats2-lang-0.4.0/configure:3656:#define `$as_echo "HAVE_$ac_header" | $as_tr_cpp` 1
ats2-lang-0.4.0/configure-3657-_ACEOF
##############################################
ats2-lang-0.4.0/configure-3713-do :
ats2-lang-0.4.0/configure:3714:  as_ac_var=`$as_echo "ac_cv_func_$ac_func" | $as_tr_sh`
ats2-lang-0.4.0/configure-3715-ac_fn_c_check_func "$LINENO" "$ac_func" "$as_ac_var"
##############################################
ats2-lang-0.4.0/configure-3717-  cat >>confdefs.h <<_ACEOF
ats2-lang-0.4.0/configure:3718:#define `$as_echo "HAVE_$ac_func" | $as_tr_cpp` 1
ats2-lang-0.4.0/configure-3719-_ACEOF
##############################################
ats2-lang-0.4.0/configure-3822-  ac_script='s/\$U\././;s/\.o$//;s/\.obj$//'
ats2-lang-0.4.0/configure:3823:  ac_i=`$as_echo "$ac_i" | sed "$ac_script"`
ats2-lang-0.4.0/configure-3824-  # 2. Prepend LIBOBJDIR.  When used with automake>=1.10 LIBOBJDIR
##############################################
ats2-lang-0.4.0/configure-3889-if test -z "$BASH_VERSION$ZSH_VERSION" \
ats2-lang-0.4.0/configure:3890:    && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then
ats2-lang-0.4.0/configure-3891-  as_echo='print -r --'
ats2-lang-0.4.0/configure-3892-  as_echo_n='print -rn --'
ats2-lang-0.4.0/configure:3893:elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then
ats2-lang-0.4.0/configure-3894-  as_echo='printf %s\n'
##############################################
ats2-lang-0.4.0/configure-3896-else
ats2-lang-0.4.0/configure:3897:  if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then
ats2-lang-0.4.0/configure-3898-    as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"'
##############################################
ats2-lang-0.4.0/configure-3906-	expr "X$arg" : "X\\(.*\\)$as_nl";
ats2-lang-0.4.0/configure:3907:	arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
ats2-lang-0.4.0/configure-3908-      esac;
##############################################
ats2-lang-0.4.0/configure-3983-# ----------------------------------------
ats2-lang-0.4.0/configure:3984:# Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are
ats2-lang-0.4.0/configure-3985-# provided, also output the error to LOG_FD, referencing LINENO. Then exit the
##############################################
ats2-lang-0.4.0/configure-4055-  {
ats2-lang-0.4.0/configure:4056:    as_val=`expr "$@" || test $? -eq 1`
ats2-lang-0.4.0/configure-4057-  }
##############################################
ats2-lang-0.4.0/configure-4159-      case $as_dir in #(
ats2-lang-0.4.0/configure:4160:      *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
ats2-lang-0.4.0/configure-4161-      *) as_qdir=$as_dir;;
##############################################
ats2-lang-0.4.0/configure-4290-cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
ats2-lang-0.4.0/configure:4291:ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
ats2-lang-0.4.0/configure-4292-ac_cs_version="\\
##############################################
ats2-lang-0.4.0/configure-4314-  --*=?*)
ats2-lang-0.4.0/configure:4315:    ac_option=`expr "X$1" : 'X\([^=]*\)='`
ats2-lang-0.4.0/configure:4316:    ac_optarg=`expr "X$1" : 'X[^=]*=\(.*\)'`
ats2-lang-0.4.0/configure-4317-    ac_shift=:
##############################################
ats2-lang-0.4.0/configure-4319-  --*=)
ats2-lang-0.4.0/configure:4320:    ac_option=`expr "X$1" : 'X\([^=]*\)='`
ats2-lang-0.4.0/configure-4321-    ac_optarg=
##############################################
ats2-lang-0.4.0/configure-4343-    case $ac_optarg in
ats2-lang-0.4.0/configure:4344:    *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;;
ats2-lang-0.4.0/configure-4345-    '') as_fn_error $? "missing file argument" ;;
##############################################
ats2-lang-0.4.0/configure-4351-    case $ac_optarg in
ats2-lang-0.4.0/configure:4352:    *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;;
ats2-lang-0.4.0/configure-4353-    esac
##############################################
ats2-lang-0.4.0/configure-4475-fi
ats2-lang-0.4.0/configure:4476:ac_cs_awk_cr=`$AWK 'BEGIN { print "a\rb" }' </dev/null 2>/dev/null`
ats2-lang-0.4.0/configure-4477-if test "$ac_cs_awk_cr" = "a${ac_cr}b"; then
##############################################
ats2-lang-0.4.0/configure-4492-  as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
ats2-lang-0.4.0/configure:4493:ac_delim_num=`echo "$ac_subst_vars" | grep -c '^'`
ats2-lang-0.4.0/configure-4494-ac_delim='%!_!# '
##############################################
ats2-lang-0.4.0/configure-4498-
ats2-lang-0.4.0/configure:4499:  ac_delim_n=`sed -n "s/.*$ac_delim\$/X/p" conf$$subs.awk | grep -c X`
ats2-lang-0.4.0/configure-4500-  if test $ac_delim_n = $ac_delim_num; then
##############################################
ats2-lang-0.4.0/configure-4636-for ac_last_try in false false :; do
ats2-lang-0.4.0/configure:4637:  ac_tt=`sed -n "/$ac_delim/p" confdefs.h`
ats2-lang-0.4.0/configure-4638-  if test -z "$ac_tt"; then
##############################################
ats2-lang-0.4.0/configure-4768-      esac
ats2-lang-0.4.0/configure:4769:      case $ac_f in *\'*) ac_f=`$as_echo "$ac_f" | sed "s/'/'\\\\\\\\''/g"`;; esac
ats2-lang-0.4.0/configure-4770-      as_fn_append ac_file_inputs " '$ac_f'"
##############################################
ats2-lang-0.4.0/configure-4827-*)
ats2-lang-0.4.0/configure:4828:  ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
ats2-lang-0.4.0/configure-4829-  # A ".." for each directory in $ac_dir_suffix.
ats2-lang-0.4.0/configure:4830:  ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'`
ats2-lang-0.4.0/configure-4831-  case $ac_top_builddir_sub in
##############################################
ats2-lang-0.4.0/configure-4888-/@mandir@/p'
ats2-lang-0.4.0/configure:4889:case `eval "sed -n \"\$ac_sed_dataroot\" $ac_file_inputs"` in
ats2-lang-0.4.0/configure-4890-*datarootdir*) ac_datarootdir_seen=yes;;
##############################################
ats2-lang-0.4.0/configure-4905-
ats2-lang-0.4.0/configure:4906:# Neutralize VPATH when `$srcdir' = `.'.
ats2-lang-0.4.0/configure-4907-# Shell code in configure.ac might set extrasub.
##############################################
ats2-lang-0.4.0/configure-4933-test -z "$ac_datarootdir_hack$ac_datarootdir_seen" &&
ats2-lang-0.4.0/configure:4934:  { ac_out=`sed -n '/\${datarootdir}/p' "$ac_tmp/out"`; test -n "$ac_out"; } &&
ats2-lang-0.4.0/configure-4935-  { ac_out=`sed -n '/^[	 ]*datarootdir[	 ]*:*=/p' \
##############################################
ats2-lang-0.4.0/bin/patsopt_env.sh.in-27-
ats2-lang-0.4.0/bin/patsopt_env.sh.in:28:prog=`basename $0`
ats2-lang-0.4.0/bin/patsopt_env.sh.in-29-
##############################################
ats2-lang-0.4.0/bin/patscc_env.sh.in-27-
ats2-lang-0.4.0/bin/patscc_env.sh.in:28:prog=`basename $0`
ats2-lang-0.4.0/bin/patscc_env.sh.in-29-
##############################################
ats2-lang-0.4.0/bin/myatscc_env.sh.in-27-
ats2-lang-0.4.0/bin/myatscc_env.sh.in:28:prog=`basename $0`
ats2-lang-0.4.0/bin/myatscc_env.sh.in-29-
##############################################
ats2-lang-0.4.0/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl-70-sub
ats2-lang-0.4.0/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl:71:ATSPMVlazyval_eval($)
ats2-lang-0.4.0/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl-72-{
##############################################
ats2-lang-0.4.0/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl-99-sub
ats2-lang-0.4.0/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl:100:ATSPMVllazyval_eval($)
ats2-lang-0.4.0/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl-101-{
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-90-| S2RTint() => emit("s2rt_int")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:91:| S2RTaddr() => emit("s2rt_addr")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-92-| S2RTbool() => emit("s2rt_bool")
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-729-val () = emitln("(define-sort s2rt_int () Int)")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:730:val () = emitln("(define-sort s2rt_addr () Int)")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-731-val () = emitln("(define-sort s2rt_bool () Bool)")
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-770-//
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:771:val () = emitln("(define-fun null_addr () s2rt_addr 0)")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-772-//
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:773:val () = emitln("(define-fun add_addr_int ((x s2rt_addr) (y Int)) s2rt_addr (+ x y))")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:774:val () = emitln("(define-fun sub_addr_int ((x s2rt_addr) (y Int)) s2rt_addr (- x y))")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-775-//
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:776:val () = emitln("(define-fun eq_addr_addr ((x s2rt_addr) (y s2rt_addr)) Bool (= x y))")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:777:val () = emitln("(define-fun lt_addr_addr ((x s2rt_addr) (y s2rt_addr)) Bool (< x y))")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:778:val () = emitln("(define-fun gt_addr_addr ((x s2rt_addr) (y s2rt_addr)) Bool (> x y))")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:779:val () = emitln("(define-fun lte_addr_addr ((x s2rt_addr) (y s2rt_addr)) Bool (<= x y))")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:780:val () = emitln("(define-fun gte_addr_addr ((x s2rt_addr) (y s2rt_addr)) Bool (>= x y))")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:781:val () = emitln("(define-fun neq_addr_addr ((x s2rt_addr) (y s2rt_addr)) Bool (not (= x y)))")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-782-//
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats-41-| "int" => S2RTint()
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats:42:| "addr" => S2RTaddr()
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats-43-| "bool" => S2RTbool()
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-16-implement s2rt_int() = S2RTint()
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats:17:implement s2rt_addr() = S2RTaddr()
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-18-implement s2rt_bool() = S2RTbool()
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-56-| S2RTint() => fprint! (out, "S2RTint()")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats:57:| S2RTaddr() => fprint! (out, "S2RTaddr()")
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-58-| S2RTbool() => fprint! (out, "S2RTbool()")
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/SATS/patsolve_cnstrnt.sats-183-fun s2rt_int((*void*)): s2rt
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/SATS/patsolve_cnstrnt.sats:184:fun s2rt_addr((*void*)): s2rt
ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/SATS/patsolve_cnstrnt.sats-185-fun s2rt_bool((*void*)): s2rt
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_sort.dats-200-| S2RTint() => sort_int()
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_sort.dats:201:| S2RTaddr() => sort_int()
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_sort.dats-202-| S2RTbool() => sort_bool()
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats-41-| "int" => S2RTint()
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats:42:| "addr" => S2RTaddr()
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats-43-| "bool" => S2RTbool()
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-16-implement s2rt_int() = S2RTint()
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats:17:implement s2rt_addr() = S2RTaddr()
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-18-implement s2rt_bool() = S2RTbool()
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-56-| S2RTint() => fprint! (out, "S2RTint()")
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats:57:| S2RTaddr() => fprint! (out, "S2RTaddr()")
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-58-| S2RTbool() => fprint! (out, "S2RTbool()")
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/SATS/patsolve_cnstrnt.sats-183-fun s2rt_int((*void*)): s2rt
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/SATS/patsolve_cnstrnt.sats:184:fun s2rt_addr((*void*)): s2rt
ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/SATS/patsolve_cnstrnt.sats-185-fun s2rt_bool((*void*)): s2rt
##############################################
ats2-lang-0.4.0/contrib/libatscc2php/ATS2-0.3.2/CATS/basics_cats.php-111-function
ats2-lang-0.4.0/contrib/libatscc2php/ATS2-0.3.2/CATS/basics_cats.php:112:ATSPMVllazyval_eval($llazyval)
ats2-lang-0.4.0/contrib/libatscc2php/ATS2-0.3.2/CATS/basics_cats.php-113-  { return $llazyval[0]($llazyval, TRUE); }
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats-41-| "int" => S2RTint()
ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats:42:| "addr" => S2RTaddr()
ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats-43-| "bool" => S2RTbool()
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-16-implement s2rt_int() = S2RTint()
ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats:17:implement s2rt_addr() = S2RTaddr()
ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-18-implement s2rt_bool() = S2RTbool()
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-56-| S2RTint() => fprint! (out, "S2RTint()")
ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats:57:| S2RTaddr() => fprint! (out, "S2RTaddr()")
ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-58-| S2RTbool() => fprint! (out, "S2RTbool()")
##############################################
ats2-lang-0.4.0/contrib/ATS-extsolve/SATS/patsolve_cnstrnt.sats-183-fun s2rt_int((*void*)): s2rt
ats2-lang-0.4.0/contrib/ATS-extsolve/SATS/patsolve_cnstrnt.sats:184:fun s2rt_addr((*void*)): s2rt
ats2-lang-0.4.0/contrib/ATS-extsolve/SATS/patsolve_cnstrnt.sats-185-fun s2rt_bool((*void*)): s2rt
##############################################
ats2-lang-0.4.0/prelude/DATS/basics.dats-79-
ats2-lang-0.4.0/prelude/DATS/basics.dats:80:primplmnt eqaddr_make () = EQADDR ()
ats2-lang-0.4.0/prelude/DATS/basics.dats:81:primplmnt eqaddr_make_ptr (x) = EQADDR ()
ats2-lang-0.4.0/prelude/DATS/basics.dats-82-
##############################################
ats2-lang-0.4.0/prelude/DATS/array.dats-1229-val () = loop(pa, pa2, pb)
ats2-lang-0.4.0/prelude/DATS/array.dats:1230:prval [lb:addr] EQADDR () = ptr_get_index (pb)
ats2-lang-0.4.0/prelude/DATS/array.dats-1231-prval () = view@(B) := $UN.castview0{array_v (b, lb, n)}(view@(B))
##############################################
ats2-lang-0.4.0/prelude/DATS/array.dats-1270-//
ats2-lang-0.4.0/prelude/DATS/array.dats:1271:prval [lc:addr] EQADDR() = ptr_get_index (pc)
ats2-lang-0.4.0/prelude/DATS/array.dats-1272-prval () = view@(C) := $UN.castview0{array_v (c, lc, n)}(view@(C))
##############################################
ats2-lang-0.4.0/prelude/SATS/pointer.sats-78-ptr_get_index
ats2-lang-0.4.0/prelude/SATS/pointer.sats:79:  {l1:addr} (p: ptr l1): [l2:addr] EQADDR(l1, l2)
ats2-lang-0.4.0/prelude/SATS/pointer.sats-80-// end of [ptr_get_index]
##############################################
ats2-lang-0.4.0/prelude/SATS/unsafe.sats-61-praxi
ats2-lang-0.4.0/prelude/SATS/unsafe.sats:62:eqaddr_assert{l1,l2:addr}((*void*)): EQADDR(l1,l2)
ats2-lang-0.4.0/prelude/SATS/unsafe.sats-63-praxi
##############################################
ats2-lang-0.4.0/prelude/SATS/parray.sats-54-(
ats2-lang-0.4.0/prelude/SATS/parray.sats:55: a:vt@ype+, addr(*l*), int(*n*)
ats2-lang-0.4.0/prelude/SATS/parray.sats-56-) = // for arrays with a sentinel at the end
##############################################
ats2-lang-0.4.0/prelude/basics_pre.sats-381-stadef != = neq_addr_addr
ats2-lang-0.4.0/prelude/basics_pre.sats:382:stadef <> = neq_addr_addr (* for backward compatibility *)
ats2-lang-0.4.0/prelude/basics_pre.sats-383-//
##############################################
ats2-lang-0.4.0/prelude/basics_dyn.sats-145-dataprop
ats2-lang-0.4.0/prelude/basics_dyn.sats:146:EQADDR(addr, addr) = {x:addr} EQADDR(x, x)
ats2-lang-0.4.0/prelude/basics_dyn.sats-147-//
ats2-lang-0.4.0/prelude/basics_dyn.sats-148-prfun
ats2-lang-0.4.0/prelude/basics_dyn.sats:149:eqaddr_make{x,y:addr | x == y}(): EQADDR(x, y)
ats2-lang-0.4.0/prelude/basics_dyn.sats-150-//
ats2-lang-0.4.0/prelude/basics_dyn.sats-151-prfun
ats2-lang-0.4.0/prelude/basics_dyn.sats:152:eqaddr_make_ptr{x:addr}(x: ptr(x)): [y:addr] EQADDR(x, y)
ats2-lang-0.4.0/prelude/basics_dyn.sats-153-//
##############################################
ats2-lang-0.4.0/utils/atscc/DATS/atscc_main.dats-966-//
ats2-lang-0.4.0/utils/atscc/DATS/atscc_main.dats:967:val status = $STDLIB.system ($UN.strptr2string(line))
ats2-lang-0.4.0/utils/atscc/DATS/atscc_main.dats-968-//
##############################################
ats2-lang-0.4.0/utils/atscc/DATS/atscc_main.dats-1074-//
ats2-lang-0.4.0/utils/atscc/DATS/atscc_main.dats:1075:val status = $STDLIB.system ($UN.strptr2string(line))
ats2-lang-0.4.0/utils/atscc/DATS/atscc_main.dats-1076-//
##############################################
ats2-lang-0.4.0/utils/myatscc/SATS/myatscc.sats-123-//
ats2-lang-0.4.0/utils/myatscc/SATS/myatscc.sats:124:where token = $rec
ats2-lang-0.4.0/utils/myatscc/SATS/myatscc.sats-125-{
##############################################
ats2-lang-0.4.0/libats/DATS/theGetters.dats-184-[l:addr]
ats2-lang-0.4.0/libats/DATS/theGetters.dats:185:EQADDR() = eqaddr_make_ptr(addr@asz)
ats2-lang-0.4.0/libats/DATS/theGetters.dats-186-prval () = view@asz := $UN.castview0{size_t(n)@l}(view@asz)
##############################################
ats2-lang-0.4.0/libats/DATS/sllist.dats-900-//
ats2-lang-0.4.0/libats/DATS/sllist.dats:901:prval [l:addr] EQADDR () = eqaddr_make_ptr (addr@xs)
ats2-lang-0.4.0/libats/DATS/sllist.dats-902-//
##############################################
ats2-lang-0.4.0/libats/libc/SATS/sys/socket_in.sats-85-, sin_port(**) = in_port_nbo_t // uint16
ats2-lang-0.4.0/libats/libc/SATS/sys/socket_in.sats:86:, sin_addr(**) = in_addr_struct
ats2-lang-0.4.0/libats/libc/SATS/sys/socket_in.sats-87-} // end of [sockaddr_in_struct]
##############################################
ats2-lang-0.4.0/libats/libc/SATS/arpa/inet.sats-106-//
ats2-lang-0.4.0/libats/libc/SATS/arpa/inet.sats:107:fun inet_addr (cp: string): in_addr_nbo_t = "mac#%"
ats2-lang-0.4.0/libats/libc/SATS/arpa/inet.sats-108-fun inet_network (cp: string): in_addr_hbo_t = "mac#%"
##############################################
ats2-lang-0.4.0/install-sh-229-      fi
ats2-lang-0.4.0/install-sh:230:      cp_umask=`expr '(' 777 - $mode % 1000 ')' $u_plus_rw`;;
ats2-lang-0.4.0/install-sh-231-    *)
##############################################
ats2-lang-0.4.0/install-sh-276-      dstdir=$dst
ats2-lang-0.4.0/install-sh:277:      dst=$dstdir/`basename "$src"`
ats2-lang-0.4.0/install-sh-278-      dstdir_status=0
##############################################
ats2-lang-0.4.0/install-sh-358-		   # FreeBSD 6.1 mkdir -m -p sets mode of existing directory.
ats2-lang-0.4.0/install-sh:359:		   ls_ld_tmpdir=`ls -ld "$tmpdir"`
ats2-lang-0.4.0/install-sh-360-		   case $ls_ld_tmpdir in
##############################################
ats2-lang-0.4.0/install-sh-365-		   $mkdirprog -m$different_mode -p -- "$tmpdir" && {
ats2-lang-0.4.0/install-sh:366:		     ls_ld_tmpdir_1=`ls -ld "$tmpdir"`
ats2-lang-0.4.0/install-sh-367-		     test "$ls_ld_tmpdir" = "$ls_ld_tmpdir_1"
##############################################
ats2-lang-0.4.0/install-sh-425-	    case $prefix in
ats2-lang-0.4.0/install-sh:426:	      *\'*) qprefix=`echo "$prefix" | sed "s/'/'\\\\\\\\''/g"`;;
ats2-lang-0.4.0/install-sh-427-	      *) qprefix=$prefix;;
##############################################
ats2-lang-0.4.0/install-sh-474-    if $copy_on_change &&
ats2-lang-0.4.0/install-sh:475:       old=`LC_ALL=C ls -dlL "$dst"	2>/dev/null` &&
ats2-lang-0.4.0/install-sh:476:       new=`LC_ALL=C ls -dlL "$dsttmp"	2>/dev/null` &&
ats2-lang-0.4.0/install-sh-477-