$exit_value   = $? >> 8;
   $signal_num   = $? & 127; # or 0x7f ...
   $dumped_core  = $? & 128; # or 0x80 ...