function _ats2phppre_list_loop_1($arg0, $arg1)
{
/*
// $apy0
// $apy1
// $tmpret1
// $tmp3
// $tmp4
*/
__patsflab__ats2phppre_list_loop_1:
// ATScaseofseq_beg
do {
// ATSbranchseq_beg
__atstmplab0:
if (ATSCKptrisnull($arg0)) {
goto __atstmplab2;
}
__atstmplab1:
$tmp3 = $arg0[1];
$tmp4 = ats2phppre_add_int1_int1($arg1, 1);
// ATStailcalseq_beg
$apy0 = $tmp3;
$apy1 = $tmp4;
$arg0 = $apy0;
$arg1 = $apy1;
goto __patsflab__ats2phppre_list_loop_1;
// ATStailcalseq_end
break;
// ATSbranchseq_end
// ATSbranchseq_beg
__atstmplab2:
$tmpret1 = $arg1;
break;
// ATSbranchseq_end
} while (0);
// ATScaseofseq_end
return $tmpret1;
}
function ats2phppre_option_is_some($arg0)
{
/*
// $tmpret0
*/
__patsflab_option_is_some:
// ATScaseofseq_beg
do {
// ATSbranchseq_beg
__atstmplab0:
if (ATSCKptrisnull($arg0)) {
goto __atstmplab3;
}
__atstmplab1:
$tmpret0 = true;
break;
// ATSbranchseq_end
// ATSbranchseq_beg
__atstmplab2:
__atstmplab3:
$tmpret0 = false;
break;
// ATSbranchseq_end
} while (0);
// ATScaseofseq_end
return $tmpret0;
}
function GameOf24_play2($arg0, $arg1, $arg2, $arg3)
{
/*
// $tmp249
*/
__patsflab_GameOf24_play2:
$tmp249 = GameOf24_php__GameOf24_play($arg0, $arg1, $arg2, $arg3);
// ATScaseofseq_beg
do {
// ATSbranchseq_beg
__atstmplab57:
if (ATSCKptrisnull($tmp249)) {
goto __atstmplab60;
}
__atstmplab58:
GameOf24_php__echo_cardlst($tmp249);
break;
// ATSbranchseq_end
// ATSbranchseq_beg
__atstmplab59:
__atstmplab60:
_057_home_057_hwxi_057_research_057_Postiats_055_contrib_057_git_057_contrib_057_libatscc_057_libatscc2php_057_basics_php_056_sats__echo1__10__2("No solution is found.");
break;
// ATSbranchseq_end
} while (0);
// ATScaseofseq_end
return;
}