char *version = "4.13";
char *host_name = "i386-unknown-freebsd";
char *target_name = "i386-unknown-freebsd";