ackerman function with PHP tested with PHPUnit