function ats2phppre_list_map($arg0, $arg1)
{
    /*
      // $tmpret16
      // $tmp17
      // $tmp18
      // $tmp19
      // $tmp20
    */
    __patsflab_list_map:
    // ATScaseofseq_beg
    do {
        // ATSbranchseq_beg
        __atstmplab11:
        if (ATSCKptriscons($arg0)) {
            goto __atstmplab14;
        }
        __atstmplab12:
        $tmpret16 = null;
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab13:
        __atstmplab14:
        $tmp17 = $arg0[0];
        $tmp18 = $arg0[1];
        $tmp19 = $arg1[0]($arg1, $tmp17);
        $tmp20 = ats2phppre_list_map($tmp18, $arg1);
        $tmpret16 = array($tmp19, $tmp20);
        break;
        // ATSbranchseq_end
    } while (0);
    // ATScaseofseq_end
    return $tmpret16;
}
function _ats2jspre_stream_patsfun_3($env0, $env1)
{
    /*
      // $tmpret8
      // $tmp9
      // $tmp10
      // $tmp11
      // $tmp12
      // $tmp13
      // $tmp14
    */
    __patsflab__ats2jspre_stream_patsfun_3:
    ATSPMVlazyval_eval($env0);
    $tmp9 = $env0[1];
    // ATScaseofseq_beg
    do {
        // ATSbranchseq_beg
        __atstmplab4:
        if (ATSCKptriscons($tmp9)) {
            goto __atstmplab7;
        }
        __atstmplab5:
        $tmpret8 = null;
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab6:
        __atstmplab7:
        $tmp10 = $tmp9[0];
        $tmp11 = $tmp9[1];
        $tmp12 = $env1[0]($env1, $tmp10);
        if ($tmp12) {
            $tmp13 = ats2phppre_stream_filter_cloref($tmp11, $env1);
            $tmpret8 = array($tmp10, $tmp13);
        } else {
            $tmp14 = ats2phppre_stream_filter_cloref($tmp11, $env1);
            ATSPMVlazyval_eval($tmp14);
            $tmpret8 = $tmp14[1];
        }
        // endif
        break;
        // ATSbranchseq_end
    } while (0);
    // ATScaseofseq_end
    return $tmpret8;
}
function filter_57($arg0, $arg1)
{
    /*
      // $apy0
      // $apy1
      // $tmpret239
      // $tmp240
      // $tmp241
      // $tmp242
      // $tmp243
      // $tmp244
      // $tmp245
    */
    __patsflab_filter_57:
    // ATScaseofseq_beg
    do {
        // ATSbranchseq_beg
        __atstmplab53:
        if (ATSCKptriscons($arg0)) {
            goto __atstmplab56;
        }
        __atstmplab54:
        $tmpret239 = $arg1;
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab55:
        __atstmplab56:
        $tmp240 = $arg0[0];
        $tmp241 = $arg0[1];
        $tmp242 = GameOf24_php__cardset_get_at($tmp240, 0);
        $tmp243 = GameOf24_php__card_get_val($tmp242);
        $tmp245 = is24_48($tmp243);
        if ($tmp245) {
            $tmp244 = array($tmp242, $arg1);
        } else {
            $tmp244 = $arg1;
        }
        // endif
        // ATStailcalseq_beg
        $apy0 = $tmp241;
        $apy1 = $tmp244;
        $arg0 = $apy0;
        $arg1 = $apy1;
        goto __patsflab_filter_57;
        // ATStailcalseq_end
        break;
        // ATSbranchseq_end
    } while (0);
    // ATScaseofseq_end
    return $tmpret239;
}