oldprogname       218 lib/lua/lua.c    const char *oldprogname = progname;
oldprogname       235 lib/lua/lua.c    progname = oldprogname;