export type PROGNAME = string;