char *host_name = "i386-nt GUI";
char *target_name = "sparclet";
char *version = "4.16.1";