<?php
declare(strict_types=1);

$image = imagecreatetruecolor(2, 2);
$red = imagecolorallocate($image, 255, 0, 0);
imagesetpixel($image, 0, 0, $red);
$large = imagescale($image, 4, 4, IMG_NEAREST_NEIGHBOUR);
echo imagecolorsforindex($large, imagecolorat($large, 0, 0))["red"], "\n";
