<?php
$argv = ['filename', 3, 1, 100];
echo count(preg_grep('/'.($a=$argv)[1].'/',range($a[2],$a[3])));
echo "\n";
$argv = ['filename', 3, 3, 93];
echo count(preg_grep('/'.($a=$argv)[1].'/',range($a[2],$a[3])));
echo "\n";
$argv = ['filename', 12, -200, 200];
echo count(preg_grep('/'.($a=$argv)[1].'/',range($a[2],$a[3])));
echo "\n";
$argv = ['filename', 123, 1, 3];
echo count(preg_grep('/'.($a=$argv)[1].'/',range($a[2],$a[3])));
echo "\n";
$argv = ['filename', 3, 33, 34];
echo count(preg_grep('/'.($a=$argv)[1].'/',range($a[2],$a[3])));
echo "\n";
$argv = ['filename', 0, -1, 1];
echo count(preg_grep('/'.($a=$argv)[1].'/',range($a[2],$a[3])));
echo "\n";
$argv = ['filename', 127, -12, 27];
echo count(preg_grep('/'.($a=$argv)[1].'/',range($a[2],$a[3])));
echo "\n";
preferences:
26.56 ms | 402 KiB | 5 Q