$objnum= boob2objnum($board,$obj,$kind,$mkused);
$pin_used{$kind}[$objnum]= [ $board, $pi->[$obj], $obj ]
if $mkused;
- return sprintf("%4d /* %d.%-2d*/", $objnum, $board, $obj);
+ return sprintf("%#4x /* %d.%-2d*/", $objnum, $board, $obj);
} else {
return " 0 /*none*/ ";
}