function acker($arg0, $arg1)
{
    /*
      // $apy0
      // $apy1
      // $tmpret0
      // $tmp1
      // $tmp2
      // $tmp3
      // $tmp4
    */
    __patsflab_acker:
    // ATScaseofseq_beg
    do {
        // ATSbranchseq_beg
        __atstmplab0:
        if (!ATSCKpat_int($arg0, 0)) {
            goto __atstmplab2;
        }
        __atstmplab1:
        $tmpret0 = ats2phppre_add_int0_int0($arg1, 1);
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab2:
        if (!ATSCKpat_int($arg1, 0)) {
            goto __atstmplab4;
        }
        __atstmplab3:
        $tmp1 = ats2phppre_sub_int0_int0($arg0, 1);
        // ATStailcalseq_beg
        $apy0 = $tmp1;
        $apy1 = 1;
        $arg0 = $apy0;
        $arg1 = $apy1;
        goto __patsflab_acker;
        // ATStailcalseq_end
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab4:
        $tmp2 = ats2phppre_sub_int0_int0($arg0, 1);
        $tmp4 = ats2phppre_sub_int0_int0($arg1, 1);
        $tmp3 = acker($arg0, $tmp4);
        // ATStailcalseq_beg
        $apy0 = $tmp2;
        $apy1 = $tmp3;
        $arg0 = $apy0;
        $arg1 = $apy1;
        goto __patsflab_acker;
        // ATStailcalseq_end
        break;
        // ATSbranchseq_end
    } while (0);
    // ATScaseofseq_end
    return $tmpret0;
}
function f_56($env0, $env1, $env2, $env3, $arg0)
{
    /*
      // $tmpret220
    */
    __patsflab_f_56:
    // ATScaseofseq_beg
    do {
        // ATSbranchseq_beg
        __atstmplab46:
        if (!ATSCKpat_int($arg0, 0)) {
            goto __atstmplab48;
        }
        __atstmplab47:
        $tmpret220 = $env0;
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab48:
        if (!ATSCKpat_int($arg0, 1)) {
            goto __atstmplab50;
        }
        __atstmplab49:
        $tmpret220 = $env1;
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab50:
        if (!ATSCKpat_int($arg0, 2)) {
            goto __atstmplab52;
        }
        __atstmplab51:
        $tmpret220 = $env2;
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab52:
        $tmpret220 = $env3;
        break;
        // ATSbranchseq_end
    } while (0);
    // ATScaseofseq_end
    return $tmpret220;
}