namespace Php {
    /**
     * PHP string concatenation: `$left . $right`.
     */
    public Php.zval concat (Php.zval left, Php.zval right) {
        return Php.zval.string_value (zval_to_string (left) + zval_to_string (right));
    }
}
