function ats2phppre_list_reverse($arg0) { /* // $tmpret58 // $tmp59 */ __patsflab_list_reverse: $tmp59 = null; $tmpret58 = ats2phppre_list_reverse_append($arg0, $tmp59); return $tmpret58; }
function ats2phppre_list_reverse($arg0) { /* // $tmpret9 // $tmp10 */ __patsflab_list_reverse: $tmp10 = null; $tmpret9 = ats2phppre_list_reverse_append($arg0, $tmp10); return $tmpret9; }