hinfo            3238 src/simh/scp.c                         system_info hinfo;
hinfo            3239 src/simh/scp.c                         get_system_info(&hinfo);
hinfo            3241 src/simh/scp.c                             (long long unsigned int)hinfo.cpu_count);