<?php
declare(strict_types=1);

echo imagefontwidth(1), "\n";
