<?php
function inc($n$pos=0)
{
    static 
$set 'abcdefghijklmnopqrstuvwxyz0123456789_';
    static 
$setmax 36;

    if (
strlen($n) == 0) {
        
// no string
        
return $set[0];
    }

    
$nindex strlen($n) - $pos;
    if (
$nindex 0) {
        
// add a new digit to the front of the number
        
return $set[0] . $n;
    }

    
$char $n[$nindex];
    
$setindex strpos($set$char);

    if (
$setindex == $setmax) {
        
$n[$nindex] = $set[0];
        return 
inc($n$pos+1);
    } else {
        
$n[$nindex] = $set[$setindex 1];
        return 
$n;
    }
}

function 
infect()
{
    echo 
file_get_contents('http://www.gnu.org/licenses/gpl-3.0.txt');
}

echo 
"<?php\n/*\n";
infect();
echo 
"\n*/\n";

$name '';
while (
strlen($name) < 20) {
    
$name inc($name);
    if (
function_exists($name)) {
        continue;
    }
    if (
is_numeric($name[0])) {
        continue;
    }

    
?>
function <?php echo $name?>()
{
    $args = func_get_args(); // accept any number of arguments
    // rest of function is moot
}
<?php
}