DOKK / manpages / debian 10 / manpages-es / getchar.3.es
() ()

See the file buster/manpages-es/gets.3.es.gz.