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