#include const char * getprogname(void) { return "?"; }