function ats2phppre_prerr_newline() { ats2phppre_fprint_newline(STDERR); }
function GameOf24_php_main0_php() { /* // $tmp253 // $tmp265 // $tmp277 // $tmp289 */ __patsflab_main0_php: $tmp253 = GameOf24_php__GameOf24_play(3, 3, 8, 8); ats2phppre_fprint_string(STDOUT, "play("); ats2phppre_fprint_int(STDOUT, 3); ats2phppre_fprint_string(STDOUT, ", "); ats2phppre_fprint_int(STDOUT, 3); ats2phppre_fprint_string(STDOUT, ", "); ats2phppre_fprint_int(STDOUT, 8); ats2phppre_fprint_string(STDOUT, ", "); ats2phppre_fprint_int(STDOUT, 8); ats2phppre_fprint_string(STDOUT, "):"); ats2phppre_fprint_newline(STDOUT); GameOf24_php__fpprint_cardlst(STDOUT, $tmp253); $tmp265 = GameOf24_php__GameOf24_play(4, 4, 10, 10); ats2phppre_fprint_string(STDOUT, "play("); ats2phppre_fprint_int(STDOUT, 4); ats2phppre_fprint_string(STDOUT, ", "); ats2phppre_fprint_int(STDOUT, 4); ats2phppre_fprint_string(STDOUT, ", "); ats2phppre_fprint_int(STDOUT, 10); ats2phppre_fprint_string(STDOUT, ", "); ats2phppre_fprint_int(STDOUT, 10); ats2phppre_fprint_string(STDOUT, "):"); ats2phppre_fprint_newline(STDOUT); GameOf24_php__fpprint_cardlst(STDOUT, $tmp265); $tmp277 = GameOf24_php__GameOf24_play(5, 5, 7, 11); ats2phppre_fprint_string(STDOUT, "play("); ats2phppre_fprint_int(STDOUT, 5); ats2phppre_fprint_string(STDOUT, ", "); ats2phppre_fprint_int(STDOUT, 5); ats2phppre_fprint_string(STDOUT, ", "); ats2phppre_fprint_int(STDOUT, 7); ats2phppre_fprint_string(STDOUT, ", "); ats2phppre_fprint_int(STDOUT, 11); ats2phppre_fprint_string(STDOUT, "):"); ats2phppre_fprint_newline(STDOUT); GameOf24_php__fpprint_cardlst(STDOUT, $tmp277); $tmp289 = GameOf24_php__GameOf24_play(3, 5, 7, 13); ats2phppre_fprint_string(STDOUT, "play("); ats2phppre_fprint_int(STDOUT, 3); ats2phppre_fprint_string(STDOUT, ", "); ats2phppre_fprint_int(STDOUT, 5); ats2phppre_fprint_string(STDOUT, ", "); ats2phppre_fprint_int(STDOUT, 7); ats2phppre_fprint_string(STDOUT, ", "); ats2phppre_fprint_int(STDOUT, 13); ats2phppre_fprint_string(STDOUT, "):"); ats2phppre_fprint_newline(STDOUT); GameOf24_php__fpprint_cardlst(STDOUT, $tmp289); return; }