<?php
declare(strict_types=1);

function remaining(int $stock, int $borrowed): int {
    if ($stock < 0 || $borrowed < 0 || $borrowed > $stock) {
        throw new InvalidArgumentException("Invalid stock counts");
    }
    return $stock - $borrowed;
}
echo remaining(12, 5), "\n";