<?php

function my_max (
    array $values
): int {
    // your code here
}

echo my_max([1, 2, 3]) . "\n"; // 3