<?php
declare(strict_types=1);

$image = imagecreatetruecolor(12, 12);
var_dump(imageantialias($image, true));
$red = imagecolorallocate($image, 255, 0, 0);
imageline($image, 1, 1, 10, 7, $red);
echo imagesx($image), "\n";
