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

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