function fannkuch($n = 9) { printf("Pfannkuchen(%d) = %d\n", $n, Fannkuch_run($n)); }
function fannkuch($n = 9) { Fannkuch_run($n); }