<?php
declare(strict_types=1);
use native_types;
function main(): void
{
var_dump(PHP_INT_MAX + (1 - 0));
}