<?php

function increment(int $x): int
{
    return $x + 1;
}

echo increment('1');