function ats2phppre_arrszref_size($arg0) { /* // $tmpret16 // $tmp17 */ __patsflab_arrszref_size: $tmp17 = PHParref_length($arg0); $tmpret16 = $tmp17; return $tmpret16; }
function GameOf24_php__cardset_size($arg0) { /* // $tmpret121 */ __patsflab_cardset_size: $tmpret121 = PHParref_length($arg0); return $tmpret121; }