<?php
declare(strict_types=1);
function main(): void
{
$a = PHP_INT_MAX + 1;
$b = PHP_INT_MAX * 2;
$c = 1 + 2;
}