whitespace cosmetics
simplify proc_rank and proc_num, make use of assert