Symbol: setup_board