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