add.php

<?php
/**
 * @pre count($a) == count($b)
 * @post \forall ( $x \in \N : \ret[$x] == $a[$x] + $b[$x] )
 */
function add(array $a, array $b)
{
    $c = array();

    for ($i = 0; $i < count($a); $i++) {
        $c[$i] = $a[$i] + $b[$i];
    }

    return $c;
}