<?php
declare(strict_types=1);

require "source.php";
$small = imagescale($image, 80);
imagepng($small, "preview.png");
echo "preview.png\n";
