Fix SR_U64 bit being ignored
Favor procs.size() over num_cores()
Exit cleanly from debug console