Symbol: get_boardnum