/* See LICENSE file for copyright and license details. */

void eprintf(const char *, ...);