system_id_string
const char *system_id_string(u_char system_id);
platform = system_id_string(platform_id);
platform, system_id_string(bcse->system_type[0]),
system_id_string(bcsh->platform_id[0]));
system_id_string(bcse->system_type[0]));