char *version = "4.18";
char *host_name = "alpha-unknown-freebsd";
char *target_name = "alpha-unknown-freebsd";