<?php
declare(strict_types=1);

$image = imagecreatetruecolor(12, 8);
echo imagesx($image), "\n";
