<?php intval(mixed $value, int $base = 10): int
<?php preg_match('/^\033\[(\d+);(\d+)R$/', $buf, $matches); return [ intval($matches[2]), intval($matches[1]), ]; }
<?php return [ intval($matches[2]), intval($matches[1]), ]; }