das08_encode12
if (board->ai_encoding == das08_encode12) {
.ai_encoding = das08_encode12,
.ai_encoding = das08_encode12,
.ai_encoding = das08_encode12,
.ai_encoding = das08_encode12,
.ai_encoding = das08_encode12,
.ai_encoding = das08_encode12,
.ai_encoding = das08_encode12,
.ai_encoding = das08_encode12,
.ai_encoding = das08_encode12,
.ai_encoding = das08_encode12,