/* See LICENSE file for copyright and license details. */
char *argv0;