ENAME_VERBOSE
assign(ENAME_VERBOSE, "");
verbose = value(ENAME_VERBOSE) != NULL;
if (value(ENAME_VERBOSE) != NULL)