getch(); } } if (!function_exists('ungetch')) { function ungetch($char, ?string $linuxLibrary = null): int { return (new Getch($linuxLibrary))->ungetch($char); } }