has_board_num
if (has_board_num(pnode)) {
if (has_board_num(pnode)) {
if (has_board_num(pnode)) {
int has_board_num(Prom_node *);
if (has_board_num(pnode)) {
if (has_board_num(pnode)) {